Package: libbdd-dev Priority: optional Section: universe/libdevel Installed-Size: 693 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-9ubuntu1 Depends: libbdd0c2 (= 2.4-9ubuntu1), libc6-dev | libc-dev Filename: pool/universe/b/buddy/libbdd-dev_2.4-9ubuntu1_amd64.deb Size: 453852 MD5sum: 9dea0c402e51461e49ed7332833cb821 SHA1: b513ea47b392fc590a394e1ae014cfbea1639227 SHA256: 965349d8e5a4a412d45eb22bc723129cb6c0deedb5a73a74f008cb614d618471 Description: Binary decision-diagram library (development) Homepage: http://buddy.sourceforge.net Description-md5: caaa42509b2e5eb065636f9cd6cf753a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu