Package: libbdd0c2 Architecture: amd64 Version: 2.4-11build1 Priority: optional Section: universe/libs Source: buddy Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian QA Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 136 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.9) Filename: pool/universe/b/buddy/libbdd0c2_2.4-11build1_amd64.deb Size: 51356 MD5sum: a9d211e51b7e2175eedca812e60a8c15 SHA1: 3371ab602e0ef02006e82afda1b73a62e1d7dfaa SHA256: 12be6c6b69bbd68542d2a8b771d8fbe9016b01de9427342125f8b4ab676dc357 SHA512: 591cd52280090dc9d39d8a78ee1e542ccc60e82a053d99052245495a95a30f823d7a9a718415b6f079d7f37fbc784f2d155de95d42f2e79ae97d3daa5352c165 Homepage: http://buddy.sourceforge.net Description: Binary decision-diagram library (runtime) Description-md5: b3e8960dec071b06cd523391a20941ac