Publishing details
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
Changelog
buddy (2.4-11) unstable; urgency=medium
* QA upload.
* Build-depend on libtool-bin. Closes: #761735.
-- Matthias Klose <email address hidden> Thu, 09 Oct 2014 10:15:49 +0000
Builds
Built packages
-
libbdd-dev
Binary decision-diagram library (development)
-
libbdd0c2
Binary decision-diagram library (runtime)
-
libbdd0c2-dbgsym
debug symbols for package libbdd0c2
Package files