About

This package is 461.1 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/b/buddy/libbdd-dev_2.4-8_amd64.deb .

View its full control file here: debian/control.

Description

Binary decision-diagram library (development)

Relations

This package depends on: libbdd0c2 (= 2.4-8), libc6-dev | libc-dev.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libbdd-dev 2.4-8 is in ubuntu - precise / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/include/ root:root 0o755
/usr/include/bdd.h text/x-c root:root 0o644 27.1 KB
/usr/include/bvec.h text/x-c++ root:root 0o644 11.3 KB
/usr/include/fdd.h text/x-c root:root 0o644 5.7 KB
/usr/lib/ root:root 0o755
/usr/lib/libbdd.a application/x-archive root:root 0o644 195.1 KB
/usr/lib/libbdd.so root:root 0o777
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libbdd-dev/ root:root 0o755
/usr/share/doc/libbdd-dev/bddnotes.ps.gz application/gzip root:root 0o644 166.2 KB
/usr/share/doc/libbdd-dev/buddy.ps.gz application/gzip root:root 0o644 135.3 KB
/usr/share/doc/libbdd-dev/changelog.Debian.gz application/gzip root:root 0o644 1.2 KB
/usr/share/doc/libbdd-dev/copyright text/plain root:root 0o644 2.1 KB
/usr/share/doc/libbdd-dev/examples/ root:root 0o755
/usr/share/doc/libbdd-dev/examples/adder.cxx text/x-c root:root 0o644 3.8 KB
/usr/share/doc/libbdd-dev/examples/bddtest.cxx text/x-c root:root 0o644 2.7 KB
/usr/share/doc/libbdd-dev/examples/c1355.cal.gz application/gzip root:root 0o644 5.0 KB
/usr/share/doc/libbdd-dev/examples/c1908.cal.gz application/gzip root:root 0o644 3.3 KB
/usr/share/doc/libbdd-dev/examples/c2670.cal.gz application/gzip root:root 0o644 8.0 KB
/usr/share/doc/libbdd-dev/examples/c3540.cal.gz application/gzip root:root 0o644 13.2 KB
/usr/share/doc/libbdd-dev/examples/c432.cal.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/libbdd-dev/examples/c499.cal.gz application/gzip root:root 0o644 2.4 KB
/usr/share/doc/libbdd-dev/examples/cmilner.c.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/libbdd-dev/examples/example.cal text/plain root:root 0o644 127 bytes
/usr/share/doc/libbdd-dev/examples/expected.gz application/gzip root:root 0o644 761 bytes
/usr/share/doc/libbdd-dev/examples/fdd.cxx text/x-c root:root 0o644 2.2 KB
/usr/share/doc/libbdd-dev/examples/hashtbl.cxx text/x-c root:root 0o644 3.0 KB
/usr/share/doc/libbdd-dev/examples/hashtbl.h text/x-c++ root:root 0o644 1.1 KB
/usr/share/doc/libbdd-dev/examples/lexer.cxx.gz application/gzip root:root 0o644 11.7 KB
/usr/share/doc/libbdd-dev/examples/lexer.lxx text/x-c root:root 0o644 2.4 KB
/usr/share/doc/libbdd-dev/examples/Makefile.am text/plain root:root 0o644 105 bytes
/usr/share/doc/libbdd-dev/examples/Makefile.def text/plain root:root 0o644 84 bytes
/usr/share/doc/libbdd-dev/examples/Makefile.in.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/libbdd-dev/examples/milner.cxx text/x-c root:root 0o644 3.9 KB
/usr/share/doc/libbdd-dev/examples/money.cxx text/x-c root:root 0o644 2.3 KB
/usr/share/doc/libbdd-dev/examples/parser.cxx.gz application/gzip root:root 0o644 12.5 KB
/usr/share/doc/libbdd-dev/examples/parser_.h text/x-c root:root 0o644 1.1 KB
/usr/share/doc/libbdd-dev/examples/parser.h text/x-c root:root 0o644 2.9 KB
/usr/share/doc/libbdd-dev/examples/parser.yxx.gz application/gzip root:root 0o644 2.6 KB
/usr/share/doc/libbdd-dev/examples/queen.cxx text/x-c root:root 0o644 2.9 KB
/usr/share/doc/libbdd-dev/examples/readme text/plain root:root 0o644 2.0 KB
/usr/share/doc/libbdd-dev/examples/runregression text/x-shellscript root:root 0o755 2.0 KB
/usr/share/doc/libbdd-dev/examples/runtest text/x-shellscript root:root 0o755 142 bytes
/usr/share/doc/libbdd-dev/examples/slist.h.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/libbdd-dev/examples/solitare.cxx.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/libbdd-dev/README.Debian text/plain root:root 0o644 707 bytes
/usr/share/doc/libbdd-dev/README.gz application/gzip root:root 0o644 2.1 KB
/usr/share/doc/libbdd-dev/tech.txt.gz application/gzip root:root 0o644 2.1 KB