Artifact libbdd0c2_2.4+dfsg-2+b1_arm64

deb_control_files:
- control
- md5sums
- shlibs
- triggers
deb_fields:
  Architecture: arm64
  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: '153'
  Maintainer: Debian QA Group <packages@qa.debian.org>
  Package: libbdd0c2
  Priority: optional
  Section: libs
  Source: buddy (2.4+dfsg-2)
  Version: 2.4+dfsg-2+b1
srcpkg_name: buddy
srcpkg_version: 2.4+dfsg-2