Package: libppl-swi
Priority: optional
Section: universe/libs
Installed-Size: 17083
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: ppl
Version: 1:1.1-7.2build1
Depends: libppl13v5 (= 1:1.1-7.2build1), libc6 (>= 2.4), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), swi-prolog-nox (>= 7.2.3~), swi-prolog-nox (<< 7.2.3.0~), swi-prolog
Filename: pool/universe/p/ppl/libppl-swi_1.1-7.2build1_i386.deb
Size: 2516370
MD5sum: ddbf657c30feb0b029c6b04f3f9ed9f1
SHA1: e71231853c74a5fa7aa6b5ef46954d016b2be9bd
SHA256: 04bc1396264fe7c12a33ebe0388b6ab0c744787eb675f2143e45e3d4c362fc9a
Description: Parma Polyhedra Library (SWI Prolog interface)
Multi-Arch: same
Homepage: http://www.cs.unipr.it/ppl/
Description-md5: 4c97f42e74e4bb86b89de5582d8bbbdd
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu