Package: libppl13v5 Priority: optional Section: universe/libs Installed-Size: 1435 Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Architecture: i386 Source: ppl Version: 1:1.1-7.2build1 Replaces: libppl13 Depends: libc6 (>= 2.11), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2) Conflicts: libppl13 Filename: pool/universe/p/ppl/libppl13v5_1.1-7.2build1_i386.deb Size: 456168 MD5sum: 33c7abdd763bfbee5b7db816d1524706 SHA1: 46565d3842f0eff1b19930726e9d21ff66a58312 SHA256: a56502f5a138b791f7a96647a1aa8ac99b5fff5908a85ceeed4b86c616e7feae Description: Parma Polyhedra Library (runtime library) Multi-Arch: same Homepage: http://www.cs.unipr.it/ppl/ Description-md5: 5bfdb37d7ebe77449accec15da9c6faa Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu