libbdd0c2_2.4-11_amd64.deb


Advertisement

Description

libbdd0c2 - Binary decision-diagram library (runtime)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libbdd0c2
Package version 2.4
Package release 11
Package architecture amd64
Package type deb
Installed size 149 B
Download size 53.02 KB
Official Mirror ftp.br.debian.org
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.

Alternatives

Package Version Architecture Repository
libbdd0c2_2.4-11_i386.deb 2.4 i386 Debian Main
libbdd0c2 - - -

Requires

Name Value
libc6 >= 2.11
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.2.1

Download

Type URL
Binary Package libbdd0c2_2.4-11_amd64.deb
Source Package buddy

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libbdd0c2 deb package:
    # sudo apt-get install libbdd0c2

Files

Path
/usr/lib/libbdd.so.0
/usr/lib/libbdd.so.0.0.0
/usr/share/doc/libbdd0c2/AUTHORS
/usr/share/doc/libbdd0c2/NEWS.gz
/usr/share/doc/libbdd0c2/changelog.Debian.gz
/usr/share/doc/libbdd0c2/changelog.gz
/usr/share/doc/libbdd0c2/copyright

Changelog

2014-10-09 - Matthias Klose <doko@debian.org>
buddy (2.4-11) unstable; urgency=medium
* QA upload.
* Build-depend on libtool-bin. Closes: #761735.
2014-08-19 - Aurelien Jarno <aurel32@debian.org>
buddy (2.4-10) unstable; urgency=medium
* QA upload.
* Use dh-autoreconf instead of autotools-dev (Closes: #744070).
2014-03-23 - Emanuele Rocca <ema@debian.org>
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.
2011-04-12 - Jens Peter Secher <jps@debian.org>
buddy (2.4-8) unstable; urgency=low
* Upgraded to Standards-Version 3.9.1, removing the .la files.
(Closes: #621250)
2010-04-17 - Jens Peter Secher <jps@debian.org>
buddy (2.4-7) unstable; urgency=low
* Converted to dpkg-source format quilt (3.0).
* Use mercurial-buildpackage for package package maintenance through
http://hg.debian.org/hg/collab-maint/libbdd.
* Converted to debhelper 7 and use dh_prep and misc:Depends.
* Upgraded to Standards-Version 3.8.4, using the Homepage control field.
* Removed obsolete conflicts etc.
2007-05-06 - Jens Peter Secher <jps@debian.org>
buddy (2.4-6) unstable; urgency=low
* Removed watch file since it does not work reliably.
(Closes: bug#450058).
* Use ${binary:Version} in control to allow binNMU.
* Bumped Standards-Version to 3.7.2.
* Stop Lintian complaining about outdated autotools files, since these
files are overwritten automatically.
2005-07-25 - Jens Peter Secher <jps@debian.org>
buddy (2.4-5) unstable; urgency=low
* Automatically link to most recent config.{sub,guess} to avoid further
failed builds. (Closes: bug#319882)
2005-07-21 - Jens Peter Secher <jps@debian.org>
buddy (2.4-4) unstable; urgency=low
* Changed shared-library package name due to GCC4 transition ABI change,
essentially just applying Ubuntu patch from Stephan Hermann.
* Bumped Standards-Version.
2005-03-01 - Jens Peter Secher <jps@debian.org>
buddy (2.4-3) unstable; urgency=low
* Improved the description of the packages.
* Rewrote this changelog so it is easier to see what has been going on,
and uploading with the full changelog.
* Uploading as official Debian package. (Closes: bug#148764)
2005-01-12 - Jens Peter Secher <jps@debian.org>
buddy (2.4-2) unstable; urgency=low
* Changed control and rules files to build unversioned -dev package
instead of versioned -dev package, and furthermore conflict with the
versioned -dev package.

See Also

Package Description
libbde-dev_20140731-1_amd64.deb Library to access the BitLocker Drive Encryption (BDE) format
libbde-utils_20140731-1_amd64.deb Tools to access the BitLocker Drive Encryption (BDE) format
libbde1_20140731-1_amd64.deb Library to access the BitLocker Drive Encryption (BDE) format
libbeansbinding-java-doc_1.2.1-1_all.deb Beans Binding API (documentation)
libbeansbinding-java_1.2.1-1_all.deb Beans Binding API (library)
libbeecrypt-dev_4.2.1-4_amd64.deb header files for beecrypt, a library of cryptographic algorithms
libbeecrypt7_4.2.1-4_amd64.deb open source C library of cryptographic algorithms
libbellesip-dev_1.3.0-1.1+b1_amd64.deb SIP stack from the Linphone team (development files)
libbellesip0_1.3.0-1.1+b1_amd64.deb SIP stack from the Linphone team
libben-ocaml-dev_0.7.0+deb8u1_amd64.deb OCaml libraries for Debian maintainers (development package)
libben-ocaml_0.7.0+deb8u1_amd64.deb OCaml libraries for Debian maintainers (runtime package)
libbenchmark-apps-perl_0.04-1_all.deb simple module to benchmark applications
libbenchmark-ocaml-dev_1.2-1+b1_amd64.deb OCaml benchmarking library
libbenchmark-progressbar-perl_0.00001-1_all.deb Perl module that displays progress bar during benchmarking
libbenchmark-timer-perl_0.7102-1_all.deb Benchmarking with statistical confidence
Advertisement
Advertisement