Package - libppl-swi
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/ppl/libppl-swi_1.2-8.1+b3_amd64.deb (Size: 3.3MiB)| Property | Value |
|---|---|
| Package | libppl-swi |
| Source | ppl (1:1.2-8.1) |
| Version | 1:1.2-8.1+b3 |
| Installed-Size | 28867 |
| Maintainer | Debian Science Team |
| Architecture | amd64 |
| Depends | libppl14 (= 1:1.2-8.1+b3), swi-prolog, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1), libswipl9t64 |
| Description | Parma Polyhedra Library (SWI Prolog interface) |
| Description-md5 | 4c97f42e74e4bb86b89de5582d8bbbdd |
| Multi-Arch | same |
| Homepage | http://www.cs.unipr.it/ppl/ |
| Tag | role::shared-lib |
| Section | libs |
| Priority | optional |
| Filename | pool/main/p/ppl/libppl-swi_1.2-8.1+b3_amd64.deb |
| Size | 3460708 |
| MD5sum | d96519343fe657fa9fb7e01d3e0ff693 |
| SHA256 | 91fae076c7a18003185533cd2593e8668ffed0c546f76aa6c6e2e22574d5d8f1 |
Files in package
- /usr/lib/x86_64-linux-gnu/ppl/libppl_swiprolog.a
- /usr/lib/x86_64-linux-gnu/ppl/libppl_swiprolog.so
- /usr/share/doc/libppl-swi/changelog.Debian.amd64.gz
- /usr/share/doc/libppl-swi/changelog.Debian.gz
- /usr/share/doc/libppl-swi/changelog.gz
- /usr/share/doc/libppl-swi/copyright
- /usr/share/ppl/ppl_swiprolog.pl