Package: libppl-swi Architecture: amd64 Version: 1:1.2-8.1build1 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: 27976 Depends: libppl14 (= 1:1.2-8.1build1), swi-prolog, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9), swi-prolog-core (>= 8.2.1+dfsg) Filename: pool/universe/p/ppl/libppl-swi_1.2-8.1build1_amd64.deb Size: 2994044 MD5sum: 50c72d22fff32eb4cd4e56645fff3b37 SHA1: 6e366e6345cf1a6d6bc31b7f04ae8c4ea8a12649 SHA256: 311d8c144a029db97c254b65303082c585425a6427ad508a2dbbfd1a7b5c9f9b SHA512: 36fd55e42213b38bc5658d37886163d6f07b0696f25990356b4b7657a95aaedb4c26184840007a17b8ab005ad4c0f4badd093a9ff24c88e649c15e605f06695a Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (SWI Prolog interface) Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd