Ubuntu
buddy package

buddy 2.4-12 source package in Ubuntu

Changelog

buddy (2.4-12) unstable; urgency=medium

  * QA upload.
  * Convert get-orig-source to d/watch.
  * Remove non-existing Vcs-Hg.
  * d/copyright: Convert to machine-readbale format.

 -- Bastian Germann <email address hidden>  Tue, 14 Feb 2023 14:44:28 +0100

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
Lunar release universe devel

Downloads

File Size SHA-256 Checksum
buddy_2.4-12.dsc 1.6 KiB a461b4493e0ad94dc286821fdd162d33f55d33c1065fbe5f65e6a4cd45651bf5
buddy_2.4.orig.tar.gz 748.6 KiB d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
buddy_2.4-12.debian.tar.xz 4.5 KiB f57588e246684abe1cc976fbf4d62c9c7e6406a95d8358f86deb298606d0c65e

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