Package: libbdd-dev
Source: buddy
Priority: optional
Section: universe/libdevel
Installed-Size: 835
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.4+dfsg-2build2
Depends: libbdd0c2 (= 2.4+dfsg-2build2), libc6-dev | libc-dev
Filename: pool/universe/b/buddy/libbdd-dev_2.4+dfsg-2build2_amd64.deb
Size: 314784
SHA512: 43b101dc1af1cf5633c51a18c57322581093b21cf42da55a5138922a877fab794e86840ab37f1b21a1f54ae70db104d53f61c3793df850d280e0c4ec8ec11abe
Homepage: https://buddy.sourceforge.net/manual/main.html
Description: Binary decision-diagram library (development)
Description-md5: caaa42509b2e5eb065636f9cd6cf753a
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug