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

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: 219.9 kB
Size actual: 219.9 kB
Size match

Dependencies

Required package dependencies

libppl-dev (= 1:1.2-8.1+b3)
libc6 (>= 2.34)
libgcc-s1 (>= 3.0)
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	6adb807d…1c637eee	6adb807d…1c637eee
SHA-1	Not provided	ed664dea…bcf28fac
SHA-256	9535d31d…d4c1c7de	9535d31d…d4c1c7de
SHA-512	Not provided	97b8550c…c38d4cf1

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