Package: libbdd0c2 Architecture: amd64 Version: 2.4+dfsg-2build1 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: 135 Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1) Filename: pool/universe/b/buddy/libbdd0c2_2.4+dfsg-2build1_amd64.deb Size: 56188 MD5sum: 1c1a59befc7f5950d6f27d622ccd8d31 SHA1: db72c378a102c659eac3818a2dfcb509e063c599 SHA256: e6a599c9fb4c2c8856e833bb2985daff446a24ecf41541f5991ead5c963a4391 SHA512: e8c5487c70ba73ce957f0468161553fe3b2724eca870f0963353c02304e188674293e25c569007c95e0d31aaefb63f639199c3fb095fc19f5a1311850c31c854 Homepage: https://buddy.sourceforge.net/manual/main.html Description: Binary decision-diagram library (runtime) Description-md5: b3e8960dec071b06cd523391a20941ac