Ubuntu
buddy package

buddy 2.4-8ubuntu1 source package in Ubuntu

Changelog

buddy (2.4-8ubuntu1) trusty; urgency=medium

  * Use dh-autoreconf instead of autotools-dev to get new libtool macros for
    ppc64el (still updates config.{sub,guess}).
 -- Logan Rosen <email address hidden>   Tue, 24 Dec 2013 17:50:47 -0500

Upload details

Uploaded by:
Logan Rosen
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
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.orig.tar.gz 748.6 KiB d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
buddy_2.4-8ubuntu1.debian.tar.gz 4.5 KiB 3681c018cb463de2240463fd3be85803271b8f92001a9b4195b3c2fd96791c97
buddy_2.4-8ubuntu1.dsc 1.5 KiB 49d4c7087647a1f4203e0606579fc9bedf08f1efa5b3024b73c55f39fa3c7bee

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