Ubuntu
buddy package

buddy 2.4-11build1 source package in Ubuntu

Changelog

buddy (2.4-11build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:35:23 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian QA Group
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe devel
Focal release universe devel

Downloads

File Size SHA-256 Checksum
buddy_2.4.orig.tar.gz 748.6 KiB d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
buddy_2.4-11build1.debian.tar.xz 4.4 KiB 518c5847c36fc157e1f4c75cc27a9d1f3338e3f3c016c4526ddf76ff1058ad45
buddy_2.4-11build1.dsc 1.8 KiB 02687836da192af8517f22ce8e91a77514852466efd137a81d2a501868fc34a1

Available diffs

View changes file

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: No summary available for libbdd0c2 in ubuntu hirsute.

No description available for libbdd0c2 in ubuntu hirsute.

libbdd0c2-dbgsym: No summary available for libbdd0c2-dbgsym in ubuntu impish.

No description available for libbdd0c2-dbgsym in ubuntu impish.