Package - ppl-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/ppl/ppl-dev_1.2-8.1+b3_amd64.deb (Size: 216.2KiB)| Property | Value |
|---|---|
| Package | ppl-dev |
| Source | ppl (1:1.2-8.1) |
| Version | 1:1.2-8.1+b3 |
| Installed-Size | 324 |
| Maintainer | Debian Science Team |
| Architecture | amd64 |
| Replaces | libppl0.11-dev |
| Depends | libppl-dev (= 1:1.2-8.1+b3), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 13.1) |
| Description | Parma Polyhedra Library (development binaries) |
| Description-md5 | c3e473b9c4ef451e4f19dc97f6d27453 |
| Homepage | http://www.cs.unipr.it/ppl/ |
| Section | devel |
| Priority | optional |
| Filename | pool/main/p/ppl/ppl-dev_1.2-8.1+b3_amd64.deb |
| Size | 221392 |
| MD5sum | dbde1b9bffcaaa3fc3787879939e1931 |
| SHA256 | e1b958c6cc48c45ed8db4a08bff144b65a43cce24f9398405e6eb34c72ce1fe5 |
Files in package
- /usr/bin/ppl-config
- /usr/share/doc/ppl-dev/changelog.Debian.amd64.gz
- /usr/share/doc/ppl-dev/changelog.Debian.gz
- /usr/share/doc/ppl-dev/changelog.gz
- /usr/share/doc/ppl-dev/copyright
- /usr/share/man/man1/ppl-config.1.gz