Package: libbdd0c2 Priority: optional Section: universe/libs Installed-Size: 172 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Jens Peter Secher <jps@debian.org> Architecture: amd64 Source: buddy Version: 2.4-8 Depends: libc6 (>= 2.11), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Filename: pool/universe/b/buddy/libbdd0c2_2.4-8_amd64.deb Size: 59212 MD5sum: b4244fbe9302c49e3ad2a297db063a20 SHA1: 91b0bb838e2769f218eaccebe0cf0131e8a443ea SHA256: 1b2b921ba17df9b693b110b82e82718ce8fc736e3f3589433c529b40cf276424 Description: Binary decision-diagram library (runtime) Homepage: http://buddy.sourceforge.net Description-md5: b3e8960dec071b06cd523391a20941ac Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu