About

This package is 1.8 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/ppl/libppl-dev_1.1-7.2build1_amd64.deb .

View its full control file here: debian/control.

Description

Parma Polyhedra Library (development)

Relations

This package depends on: libppl13v5 (= 1:1.1-7.2build1), libppl-c4 (= 1:1.1-7.2build1).

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

This package suggests: libppl-doc.

This package conflicts with: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev.

Package Contents

This package is indexed.

libppl-dev 1:1.1-7.2build1 is in ubuntu - xenial / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 180 bytes
postrm text/x-shellscript N/A N/A 180 bytes
preinst text/x-shellscript N/A N/A 180 bytes
prerm text/x-shellscript N/A N/A 180 bytes
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/include/ root:root 0o755
/usr/include/x86_64-linux-gnu/ root:root 0o755
/usr/include/x86_64-linux-gnu/ppl_c.h text/x-c root:root 0o644 427.3 KB
/usr/include/x86_64-linux-gnu/ppl.hh text/plain root:root 0o644 3.3 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.9 MB
/usr/lib/x86_64-linux-gnu/libppl_c.a application/x-archive root:root 0o644 11.2 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/libppl-dev/ root:root 0o755
/usr/share/doc/libppl-dev/BUGS root:root 0o777
/usr/share/doc/libppl-dev/changelog.Debian.gz root:root 0o777
/usr/share/doc/libppl-dev/copyright text/plain root:root 0o644 4.0 KB
/usr/share/doc/libppl-dev/CREDITS.gz root:root 0o777
/usr/share/doc/libppl-dev/NEWS.gz root:root 0o777
/usr/share/doc/libppl-dev/README.gz root:root 0o777
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/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