About

This package is 1.7 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/ppl/libppl-dev_1.2-2build4_amd64.deb .

View its full control file here: debian/control.

Description

Parma Polyhedra Library (development)

Relations

This package depends on: libppl14 (= 1:1.2-2build4), libppl-c4 (= 1:1.2-2build4).

This package recommends: libgmp3-dev.

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.2-2build4 is in ubuntu - bionic / universe. This package's architecture is: amd64.

File Mime Type Owner Mode Size
postinst text/x-shellscript N/A N/A 194 bytes
postrm text/x-shellscript N/A N/A 194 bytes
preinst text/x-shellscript N/A N/A 194 bytes
prerm text/x-shellscript N/A N/A 194 bytes
/usr/ 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.8 MB
/usr/lib/x86_64-linux-gnu/libppl_c.a application/x-archive root:root 0o644 10.5 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/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