Package - libbdd-dev

Package: libbdd-dev
apt-get install libbdd-dev

Documentations in package:

libbdd-dev

Primary informations

Download package: http://deb.debian.org/debian/pool/main/b/buddy/libbdd-dev_2.4+dfsg-2_amd64.deb (Size: 297.4KiB)

Property	Value
Package	libbdd-dev
Source	buddy
Version	2.4+dfsg-2
Installed-Size	834
Maintainer	Debian QA Group
Architecture	amd64
Depends	libbdd0c2 (= 2.4+dfsg-2), libc6-dev \| libc-dev
Description	Binary decision-diagram library (development)
Description-md5	caaa42509b2e5eb065636f9cd6cf753a
Homepage	https://buddy.sourceforge.net/manual/main.html
Tag	devel::lang:c, devel::library, implemented-in::c, role::devel-lib
Section	libdevel
Priority	optional
Filename	pool/main/b/buddy/libbdd-dev_2.4+dfsg-2_amd64.deb
Size	304564
MD5sum	c5ec1d0ad140e47e2de1b3dbf743a481
SHA256	4ec64f2897d3f8e28b34849d7d90df1899f7b3b2246ac52bbbf98ab2cced545f

Files in package

/usr/include/bdd.h
/usr/include/bvec.h
/usr/include/fdd.h
/usr/lib/x86_64-linux-gnu/libbdd.a
/usr/lib/x86_64-linux-gnu/libbdd.so
/usr/share/doc/libbdd-dev/README.Debian
/usr/share/doc/libbdd-dev/README.gz
/usr/share/doc/libbdd-dev/bddnotes.ps.gz
/usr/share/doc/libbdd-dev/changelog.Debian.gz
/usr/share/doc/libbdd-dev/changelog.gz
/usr/share/doc/libbdd-dev/copyright
/usr/share/doc/libbdd-dev/examples/Makefile.am
/usr/share/doc/libbdd-dev/examples/Makefile.def
/usr/share/doc/libbdd-dev/examples/Makefile.in
/usr/share/doc/libbdd-dev/examples/adder/adder.cxx
/usr/share/doc/libbdd-dev/examples/adder/expected
/usr/share/doc/libbdd-dev/examples/adder/runtest
/usr/share/doc/libbdd-dev/examples/bddcalc/example.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c1355.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c1908.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c2670.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c3540.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c432.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/c499.cal
/usr/share/doc/libbdd-dev/examples/bddcalc/examples/readme
/usr/share/doc/libbdd-dev/examples/bddcalc/expected
/usr/share/doc/libbdd-dev/examples/bddcalc/hashtbl.cxx
/usr/share/doc/libbdd-dev/examples/bddcalc/hashtbl.h
/usr/share/doc/libbdd-dev/examples/bddcalc/lexer.cxx
/usr/share/doc/libbdd-dev/examples/bddcalc/lexer.lxx
/usr/share/doc/libbdd-dev/examples/bddcalc/parser.cxx
/usr/share/doc/libbdd-dev/examples/bddcalc/parser.h
/usr/share/doc/libbdd-dev/examples/bddcalc/parser.yxx
/usr/share/doc/libbdd-dev/examples/bddcalc/parser_.h
/usr/share/doc/libbdd-dev/examples/bddcalc/readme
/usr/share/doc/libbdd-dev/examples/bddcalc/runtest
/usr/share/doc/libbdd-dev/examples/bddcalc/slist.h
/usr/share/doc/libbdd-dev/examples/bddtest/bddtest.cxx
/usr/share/doc/libbdd-dev/examples/bddtest/expected
/usr/share/doc/libbdd-dev/examples/bddtest/runtest
/usr/share/doc/libbdd-dev/examples/cmilner/cmilner.c
/usr/share/doc/libbdd-dev/examples/cmilner/expected
/usr/share/doc/libbdd-dev/examples/cmilner/readme
/usr/share/doc/libbdd-dev/examples/cmilner/runtest
/usr/share/doc/libbdd-dev/examples/fdd/expected
/usr/share/doc/libbdd-dev/examples/fdd/fdd.cxx
/usr/share/doc/libbdd-dev/examples/fdd/runtest
/usr/share/doc/libbdd-dev/examples/milner/expected
/usr/share/doc/libbdd-dev/examples/milner/milner.cxx
/usr/share/doc/libbdd-dev/examples/milner/readme
/usr/share/doc/libbdd-dev/examples/milner/runtest
/usr/share/doc/libbdd-dev/examples/money/expected
/usr/share/doc/libbdd-dev/examples/money/money.cxx
/usr/share/doc/libbdd-dev/examples/money/runtest
/usr/share/doc/libbdd-dev/examples/queen/expected
/usr/share/doc/libbdd-dev/examples/queen/queen.cxx
/usr/share/doc/libbdd-dev/examples/queen/runtest
/usr/share/doc/libbdd-dev/examples/runregression
/usr/share/doc/libbdd-dev/examples/solitare/Makefile
/usr/share/doc/libbdd-dev/examples/solitare/Makefile.am
/usr/share/doc/libbdd-dev/examples/solitare/Makefile.in
/usr/share/doc/libbdd-dev/examples/solitare/readme
/usr/share/doc/libbdd-dev/examples/solitare/solitare.cxx
/usr/share/doc/libbdd-dev/tech.txt.gz