Package - libppl14
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/ppl/libppl14_1.2-8.1+b3_amd64.deb (Size: 625.9KiB)| Property | Value |
|---|---|
| Package | libppl14 |
| Source | ppl (1:1.2-8.1) |
| Version | 1:1.2-8.1+b3 |
| Installed-Size | 1524 |
| Maintainer | Debian Science Team |
| Architecture | amd64 |
| Depends | libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1) |
| Description | Parma Polyhedra Library (runtime library) |
| Description-md5 | 5bfdb37d7ebe77449accec15da9c6faa |
| Multi-Arch | same |
| Homepage | http://www.cs.unipr.it/ppl/ |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/p/ppl/libppl14_1.2-8.1+b3_amd64.deb |
| Size | 640960 |
| MD5sum | c0f12d040f98821d5444f980618e43a6 |
| SHA256 | f7c283369344c785d72461af070e6762d80254ca018d1ba0ae54d735a11581f7 |
Files in package
- /usr/lib/x86_64-linux-gnu/libppl.so.14
- /usr/lib/x86_64-linux-gnu/libppl.so.14.0.0
- /usr/share/doc/libppl14/BUGS
- /usr/share/doc/libppl14/CREDITS.gz
- /usr/share/doc/libppl14/NEWS.gz
- /usr/share/doc/libppl14/README.gz
- /usr/share/doc/libppl14/README.swiprolog
- /usr/share/doc/libppl14/changelog.Debian.amd64.gz
- /usr/share/doc/libppl14/changelog.Debian.gz
- /usr/share/doc/libppl14/changelog.gz
- /usr/share/doc/libppl14/copyright