Ubuntu
buddy package

buddy 2.4+dfsg-2build1 source package in Ubuntu

Changelog

buddy (2.4+dfsg-2build1) noble; urgency=high

  * No change rebuild against frame pointers and time_t.

 -- Julian Andres Klode <email address hidden>  Mon, 22 Apr 2024 16:43:11 +0200

Upload details

Uploaded by:
Julian Andres Klode
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
devel
Urgency:
Very Urgent

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe devel
Noble release universe devel

Downloads

File Size SHA-256 Checksum
buddy_2.4+dfsg.orig.tar.xz 348.3 KiB 6ccfd46769bf32ebf3561c6e0364330bf0cf63ee5d632afd5cbc98b216bd2a85
buddy_2.4+dfsg-2build1.debian.tar.xz 5.2 KiB c753c7e197b1e409d0bda216e9bb0564be26b9ad0f47bb8bb9a128636d0ddb93
buddy_2.4+dfsg-2build1.dsc 2.1 KiB 2fa63714d84c691f5563891650412a401a4be66711d2ee3f44cfa2caabc4464c

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