Package: libbdd-dev Priority: optional Section: universe/libdevel Installed-Size: 641 Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Architecture: i386 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_i386.deb Size: 454676 MD5sum: a6069324e86e7ceacce70795c2a2d4e4 SHA1: 88da3cb428a2c9780928cd5262105e106b8c0963 SHA256: a44f551a29c897908bb8526d904bcaca8f4519a84f96f4ab588e9efd9c35e893 Description: Binary decision-diagram library (development) Homepage: http://buddy.sourceforge.net Description-md5: caaa42509b2e5eb065636f9cd6cf753a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu