About

This package is 3.1 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/main/p/ppl/libppl0.11-dev_0.11.2-6ubuntu3_amd64.deb .

View its full control file here: debian/control.

Description

Parma Polyhedra Library (development)

Relations

This package depends on: libppl9 (= 0.11.2-6ubuntu3), libppl-c4 (= 0.11.2-6ubuntu3), libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0).

This package recommends: libgmp3-dev (>= 4.1.3).

This package suggests: libppl-doc.

This package conflicts with: libppl0.10-dev.

Package Contents

This package is indexed.

libppl0.11-dev 0.11.2-6ubuntu3 is in ubuntu - precise / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/ppl-config application/x-executable root:root 0o755 95.6 KB
/usr/include/ root:root 0o755
/usr/include/ppl_c.h text/x-c root:root 0o644 423.3 KB
/usr/include/ppl.hh text/plain root:root 0o644 2.5 MB
/usr/lib/ root:root 0o755
/usr/lib/x86_64-linux-gnu/ root:root 0o755
/usr/lib/x86_64-linux-gnu/libppl.a application/x-archive root:root 0o644 2.2 MB
/usr/lib/x86_64-linux-gnu/libppl_c.a application/x-archive root:root 0o644 11.0 MB
/usr/lib/x86_64-linux-gnu/libppl_c.so root:root 0o777
/usr/lib/x86_64-linux-gnu/libppl.so root:root 0o777
/usr/share/ root:root 0o755
/usr/share/aclocal/ root:root 0o755
/usr/share/aclocal/ppl_c.m4 text/x-c root:root 0o644 9.4 KB
/usr/share/aclocal/ppl.m4 text/x-c root:root 0o644 9.5 KB
/usr/share/doc/ root:root 0o755
/usr/share/doc/libppl0.11-dev/ root:root 0o755
/usr/share/doc/libppl0.11-dev/BUGS root:root 0o777
/usr/share/doc/libppl0.11-dev/changelog.Debian.gz root:root 0o777
/usr/share/doc/libppl0.11-dev/copyright text/plain root:root 0o644 4.1 KB
/usr/share/doc/libppl0.11-dev/CREDITS.gz root:root 0o777
/usr/share/doc/libppl0.11-dev/NEWS.gz root:root 0o777
/usr/share/doc/libppl0.11-dev/README.gz root:root 0o777
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/ppl-config.1.gz application/gzip root:root 0o644 1.3 KB
/usr/share/man/man3/ root:root 0o755
/usr/share/man/man3/libppl.3.gz application/gzip root:root 0o644 3.0 KB
/usr/share/man/man3/libppl_c.3.gz application/gzip root:root 0o644 2.5 KB