Package: libppl-swi Architecture: amd64 Version: 1:1.2-8.1build5 Multi-Arch: same Priority: optional Section: universe/libs Source: ppl Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Team Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 20627 Depends: libppl14 (= 1:1.2-8.1build5), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1), libswipl9t64 Filename: pool/universe/p/ppl/libppl-swi_1.2-8.1build5_amd64.deb Size: 2690586 MD5sum: c181f05fd9098e84c93182e3085076dc SHA1: 7fdda00f677d02c6ca3af8804af9858570dff8a0 SHA256: c6132f4756445780a847b538da5af5e05a786ff040879fdb34405d866cd242e5 SHA512: 10dc83cd948d9c4e3d7a081eb40af8f96ceedc04220dc925c97fa86830bbbc6a9b4e09ec5cbba990670d2daf5bc850c9adcffa4ad3001ad0691a5f5879ff682b Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (SWI Prolog interface) Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd