Package: libbdd-dev Architecture: amd64 Version: 2.4-11build1 Priority: optional Section: universe/libdevel Source: buddy Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 695 Depends: libbdd0c2 (= 2.4-11build1), libc6-dev | libc-dev Filename: pool/universe/b/buddy/libbdd-dev_2.4-11build1_amd64.deb Size: 454444 MD5sum: 8119e4227ce523f56ad9bf696802b56a SHA1: 347504dbc1f53b32535f2a93d1f7ffd550d51ae5 SHA256: d55e072a88ff6d82bcc7be7d2a2a68cd40dea3a761aaab57d0357a672941c85f SHA512: a5dce8311811227a5fa35e5663295d9088acab5f253300e5c7c65b90da70ea7e0768232cb85c2a87e3d48635ab4ecd4e80c905d03e77a37409fc97269aec0c25 Homepage: http://buddy.sourceforge.net Description: Binary decision-diagram library (development) Description-md5: caaa42509b2e5eb065636f9cd6cf753a