Package: libbdd0c2 Source: buddy Version: 2.4-11 Installed-Size: 149 Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: amd64 Depends: libc6 (>= 2.11), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1) Description: Binary decision-diagram library (runtime) Homepage: http://buddy.sourceforge.net Description-md5: b3e8960dec071b06cd523391a20941ac Tag: devel::lang:c, devel::library, implemented-in::c, role::devel-lib, role::shared-lib Section: libs Priority: optional Filename: pool/main/b/buddy/libbdd0c2_2.4-11_amd64.deb Size: 54288 MD5sum: a08baed27b981fa7708d6f626b80d4cd SHA1: dcff8bed6ef7d1bd21a1251cc9efdb538f99a2c6 SHA256: da6e9c0f2259dd53e39b05781ee870ea682eafdecc103c16f31017db23330934