buddy 2.4-8 source package in Ubuntu

Changelog

buddy (2.4-8) unstable; urgency=low

  * Upgraded to Standards-Version 3.9.1, removing the .la files.
    (Closes: #621250)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  30 Apr 2011 12:39:14 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Oneiric
Original maintainer:
Jens Peter Secher
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release universe devel

Downloads

File Size SHA-256 Checksum
buddy_2.4.orig.tar.gz 748.6 KiB d3df80a6a669d9ae408cb46012ff17bd33d855529d20f3a7e563d0d913358836
buddy_2.4-8.debian.tar.gz 4.6 KiB 845cc4edaccd3a7fbdb775dbce2d3d93b5a4248fe87fa2c5dfe226421d314bf9
buddy_2.4-8.dsc 1.2 KiB 3ab5ee8b6f624532168ae98702eb70b0647e9dcc9f922d0b4ed8c03e2dcad7c0

Available diffs

View changes file

Binary packages built by this source

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

No description available for libbdd-dev in ubuntu quantal.

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.