deb_control_files:
- control
- md5sums
- shlibs
- triggers
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Description: |-
Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.
Homepage: https://buddy.sourceforge.net/manual/main.html
Installed-Size: '144'
Maintainer: Debian QA Group <packages@qa.debian.org>
Package: libbdd0c2
Priority: optional
Section: libs
Source: buddy
Version: 2.4+dfsg-2
srcpkg_name: buddy
srcpkg_version: 2.4+dfsg-2