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 Homepage: http://buddy.sourceforge.net Description: Binary decision-diagram library (development) Description-md5: caaa42509b2e5eb065636f9cd6cf753a