Ubuntu
buddy package

buddy 2.4+dfsg-2 source package in Ubuntu

Changelog

buddy (2.4+dfsg-2) unstable; urgency=medium

  * QA upload.
  * Set maintainer to Debian QA Group <email address hidden>. (see: #628923)
  * debian/control: Remove Uploaders field.

 -- Victor Henrique Amorim Cardoso <email address hidden>  Mon, 11 Dec 2023 22:46:17 -0300

Upload details

Uploaded by:
Debian QA Group
Uploaded to:
Sid
Original maintainer:
Debian QA Group
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
buddy_2.4+dfsg-2.dsc 1.9 KiB 8ecb7d5b304efee9f003249a2ee129ed91fd2c952c1a807452fc9788fd6e8d8e
buddy_2.4+dfsg.orig.tar.xz 348.3 KiB 6ccfd46769bf32ebf3561c6e0364330bf0cf63ee5d632afd5cbc98b216bd2a85
buddy_2.4+dfsg-2.debian.tar.xz 5.1 KiB 45c56bb9155f56ce1617af77fde29c7bdd89e579fc35acaa9d7c9fb01d7ab9b4

Available diffs

No changes file available.

Binary packages built by this source

libbdd-dev: Binary decision-diagram library (development)

 Binary decision diagrams (BDDs) are space-efficient encodings of
 boolean expressions or dynamic truth tables, used in eg. model
 checking. BuDDy is an efficient BDD library with all the standard
 BDD operations, dynamic reordering of variables, automated garbage
 collection, a C++ interface with automatic reference counting, and
 more.
 .
 libbdd-dev is the BuDDy development package containing a static
 library and the include files needed for building applications using
 BuDDy.

libbdd0c2: 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.

libbdd0c2-dbgsym: debug symbols for libbdd0c2