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)
- programmi ausiliari per debian/rules
-
- adep:
libtool
- script generico per supporto librerie
-
- adep:
libtool-bin
- script generico per supporto librerie (binario libtool)
-
- adep:
dh-autoreconf
- addon di debhelper per invocare autoreconf e pulire dopo la compilazione
