ppl-dev (1:1.2-8.1+b4)

Details

Core information at a glance

Distribution: debian
Origin: debian-forky
Repository: https://deb.debian.org/debian
Codename: forky
Component: main
Source: ppl (1:1.2-8.1)
Architecture: s390x
Section: devel
Priority: optional
Maintainer: Debian Science Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 320 B
Size expected: 220 kB
Size actual: 220 kB
Size match

Dependencies

Required package dependencies

libppl-dev (= 1:1.2-8.1+b4)
libc6 (>= 2.34)
libgcc-s1 (>= 4.2)
libppl14
libstdc++6 (>= 13.1)

Suggested packages

Recommended additional packages

None

Description

Parma Polyhedra Library (development binaries)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	0cb14464…39ccc96b	0cb14464…39ccc96b
SHA-1	Not provided	a684a6a5…8af7b3a7
SHA-256	c8a108b9…0b5b648a	c8a108b9…0b5b648a
SHA-512	Not provided	2decf799…ef7c9726

Files and directories included

.
usr
usr/bin
usr/bin/ppl-config
usr/share
usr/share/doc
usr/share/doc/ppl-dev
usr/share/doc/ppl-dev/changelog.Debian.gz
usr/share/doc/ppl-dev/changelog.Debian.s390x.gz
usr/share/doc/ppl-dev/changelog.gz
usr/share/doc/ppl-dev/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/ppl-config.1.gz