Package: libbdd-dev Priority: optional Section: universe/libdevel Installed-Size: 694 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: amd64 Source: buddy Version: 2.4-11 Depends: libbdd0c2 (= 2.4-11), libc6-dev | libc-dev Filename: pool/universe/b/buddy/libbdd-dev_2.4-11_amd64.deb Size: 454498 MD5sum: 252f7ee5823ca78c0128b3d3cd4a69cf SHA1: 6d703db80cffe81bd9e91238bcc85875b61f65e4 SHA256: 5bc128e88d8261e4b07486673f96820b3b5d60f384dd0468fe48ee0a30b1d09a Description: Binary decision-diagram library (development) Homepage: http://buddy.sourceforge.net Description-md5: caaa42509b2e5eb065636f9cd6cf753a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu