libppl-dev (1:1.2-8.1+build6)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-resolute
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: resolute
Component: universe
Source: ppl
Architecture: amd64
Multi-Arch: same
Section: universe/libdevel
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 17.8 MB
Size expected: 1.9 MB
Size actual: 1.9 MB
Size match: match

Dependencies

Required package dependencies

libppl-c4 (= 1:1.2-8.1+build6)
libppl14 (= 1:1.2-8.1+build6)

Recommends

Recommended package dependencies

libgmp-dev

Suggested packages

Recommended additional packages

libppl-doc

Provides

Virtual packages provided

Description

Parma Polyhedra Library (development)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual	Match
MD5	Not provided	8f97deb4…f30d9e82	not available
SHA-1	Not provided	7134bcd9…6c205475	not available
SHA-256	Not provided	0b7ae864…dcf34d89	not available
SHA-512	aa2030d3…53890db3	aa2030d3…53890db3	match

Files and directories included

.
usr
usr/include
usr/include/x86_64-linux-gnu
usr/include/x86_64-linux-gnu/ppl.hh
usr/include/x86_64-linux-gnu/ppl_c.h
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/libppl.a
usr/lib/x86_64-linux-gnu/libppl_c.a
usr/share
usr/share/aclocal
usr/share/aclocal/ppl.m4
usr/share/aclocal/ppl_c.m4
usr/share/doc
usr/share/doc/libppl-dev
usr/share/doc/libppl-dev/copyright
usr/share/man
usr/share/man/man3
usr/share/man/man3/libppl.3.gz
usr/share/man/man3/libppl_c.3.gz
usr/lib/x86_64-linux-gnu/libppl.so
usr/lib/x86_64-linux-gnu/libppl_c.so
usr/share/doc/libppl-dev/BUGS
usr/share/doc/libppl-dev/CREDITS.gz
usr/share/doc/libppl-dev/NEWS.gz
usr/share/doc/libppl-dev/README.gz
usr/share/doc/libppl-dev/changelog.Debian.gz