Source Package: buddy (2.4-11)
Links for buddy
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- libbdd-dev
- Binary decision-diagram library (development)
- libbdd0c2
- Binary decision-diagram library (runtime)
Other Packages Related to buddy
-
- adep:
debhelper
(>= 9)
- helper programs for debian/rules
-
- adep:
libtool
- Generic library support script
-
- adep:
libtool-bin
- Generic library support script (libtool binary)
-
- adep:
dh-autoreconf
- debhelper add-on to call autoreconf and clean up after the build
