Package: libbdd-dev Priority: optional Section: universe/libdevel Installed-Size: 780 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Jens Peter Secher <jps@debian.org> Architecture: amd64 Source: buddy Version: 2.4-8 Depends: libbdd0c2 (= 2.4-8), libc6-dev | libc-dev Filename: pool/universe/b/buddy/libbdd-dev_2.4-8_amd64.deb Size: 472152 MD5sum: dae0494b5305fe6a41bb143872a5157b SHA1: 1a131041f9e855808595bedb9e1074bc10dc9bf5 SHA256: fced2494f18f12bbc7e2cc549e842cc36d644db11a90a6145c07895d91c224cf Description: Binary decision-diagram library (development) Homepage: http://buddy.sourceforge.net Description-md5: caaa42509b2e5eb065636f9cd6cf753a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu