Package: libbdd0c2
Architecture: amd64
Version: 2.4-12
Priority: optional
Section: universe/libs
Source: buddy
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 134
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.3)
Filename: pool/universe/b/buddy/libbdd0c2_2.4-12_amd64.deb
Size: 55704
MD5sum: d32cacf3e46fcce4147a0c560c52308b
SHA1: b813c713db95b8b3a33c4ed03713c735c8434fdc
SHA256: a8e4e091638b2500cf59b58242341e7cd7fe914b0d9040e3efb54e0ed04f55fc
SHA512: e86f793fdd957678d00e891e71119676f6d845f96951fc64e110a46fa3837b4c6edd26150474383f22b7abe4f0e222866667742395aa8497e59751f41f20ac4b
Homepage: http://buddy.sourceforge.net
Description: Binary decision-diagram library (runtime)
Description-md5: b3e8960dec071b06cd523391a20941ac