Ubuntu
buddy package

buddy 2.4+dfsg-1 source package in Ubuntu

Changelog

buddy (2.4+dfsg-1) unstable; urgency=medium

  * Take over package into Debian Science team maintenance
  * Fix homepage
  * Exclude non-source file doc/buddy.ps
    Closes: #1031278
  * Remove outdated autotools helper files
  * d/rules: Short dh
  * Hardening
  * Standards-Version: 4.6.2 (routine-update)
  * debhelper-compat 13 (routine-update)
  * Remove trailing whitespace in debian/changelog (routine-update)
  * Remove trailing whitespace in debian/control (routine-update)
  * Add salsa-ci file (routine-update)
  * Rules-Requires-Root: no (routine-update)
  * Trim trailing whitespace.
  * Set upstream metadata fields: Archive, Bug-Database, Name, Repository.
  * Drop unneeded Build-Depends
  * Simplify examples usage
  * Add autopkgtest

 -- Andreas Tille <email address hidden>  Thu, 23 Feb 2023 21:35:42 +0100

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
devel
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe devel

Downloads

File Size SHA-256 Checksum
buddy_2.4+dfsg-1.dsc 2.0 KiB 11804f7e43cbd1eff41d76a3daec42ee0210ff77f7725915cf9a3dad4b3806aa
buddy_2.4+dfsg.orig.tar.xz 348.3 KiB 6ccfd46769bf32ebf3561c6e0364330bf0cf63ee5d632afd5cbc98b216bd2a85
buddy_2.4+dfsg-1.debian.tar.xz 5.0 KiB 95f98fe2177b7964fabc549a2be96754307f4e4d427398227d72a06edafff15c

Available diffs

No changes file available.

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