Package: libbdd-dev Source: buddy (2.4-11) Version: 2.4-11+b1 Installed-Size: 695 Maintainer: Debian QA Group <packages@qa.debian.org> Architecture: amd64 Depends: libbdd0c2 (= 2.4-11+b1), libc6-dev | libc-dev Description: Binary decision-diagram library (development) Homepage: http://buddy.sourceforge.net Description-md5: caaa42509b2e5eb065636f9cd6cf753a Tag: devel::lang:c, devel::library, implemented-in::c, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/b/buddy/libbdd-dev_2.4-11+b1_amd64.deb Size: 457300 MD5sum: a020af82e59bd75d5d5a96de7431b4c4 SHA256: 4913c743d8430c30febffa3a480ef6abd9f26b06f36298c12c9dc6377fef9bef