Package: libbdd-dev
Architecture: amd64
Version: 2.4+dfsg-2build1
Priority: optional
Section: universe/libdevel
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: 831
Depends: libbdd0c2 (= 2.4+dfsg-2build1), libc6-dev | libc-dev
Filename: pool/universe/b/buddy/libbdd-dev_2.4+dfsg-2build1_amd64.deb
Size: 313388
MD5sum: 9577b31f2f244bf032ebb2bcd65a092a
SHA1: b38cb3aedf6ff328586a29f04b464a0cb6d12afc
SHA256: 05ec499f547110f6168526ebbfa9303e2f28c7131c8d8739b0b5f810ba6ff90f
SHA512: 6e0bc0e9c5bee191c1057727144df8c0d10a45d681eff5c7f1b19c1421c12f20e2aba1c4cb30e6d976bbfced9d779e11589de16491701be6d3534d580d12f9ca
Homepage: https://buddy.sourceforge.net/manual/main.html
Description: Binary decision-diagram library (development)
Description-md5: caaa42509b2e5eb065636f9cd6cf753a