Ubuntu
buddy package

buddy 2.4-9ubuntu1 source package in Ubuntu

Changelog

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

  * Merge from Debian unstable. Remaining changes:
    - Use dh-autoreconf instead of autotools-dev to also fix FTBFS on ppc64el
      (still updates config.{sub,guess}).

buddy (2.4-9) unstable; urgency=low

  * QA upload.
  * Maintainer field set to QA Group.
  * Build with default compiler flags.
  * Bump Standards-Version to 3.9.5.
  * Add missing debian/rules targets: build-arch, build-indep.
  * Set debhelper compatibility level to 9.
 -- Logan Rosen <email address hidden>   Tue, 25 Mar 2014 16:50:58 -0400

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

Downloads

File Size SHA-256 Checksum
buddy_2.4.orig.tar.gz 748.6 KiB d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
buddy_2.4-9ubuntu1.debian.tar.gz 4.7 KiB e49c5341be957b3840df65b5a1852167b4edc3bbf8770d58ebfd31aacce552ea
buddy_2.4-9ubuntu1.dsc 1.5 KiB 675c7345285937bf3c1efcc4436c3f3fa2e45dfe41bf451027d8862afa3b74d7

Available diffs

View changes file

Binary packages built by this source

libbdd-dev: No summary available for libbdd-dev in ubuntu utopic.

No description available for libbdd-dev in ubuntu utopic.

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.