About

This package is 1.9 MB. It is available at http://ftp.debian.org/debian/pool/main/p/ppl/libppl-dev_1.2-1_amd64.deb .

View its full control file here: debian/control.

Description

Parma Polyhedra Library (development)

Relations

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

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-1 is in debian - stretch / main. 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/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.7 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 text/plain root:root 0o644 999 bytes
/usr/share/doc/libppl-dev/changelog.Debian.gz application/gzip root:root 0o644 5.7 KB
/usr/share/doc/libppl-dev/changelog.gz application/gzip root:root 0o644 181.3 KB
/usr/share/doc/libppl-dev/copyright text/plain root:root 0o644 4.0 KB
/usr/share/doc/libppl-dev/CREDITS.gz application/gzip root:root 0o644 6.3 KB
/usr/share/doc/libppl-dev/NEWS.gz application/gzip root:root 0o644 22.1 KB
/usr/share/doc/libppl-dev/README.gz application/gzip root:root 0o644 8.9 KB
/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