Package: libppl13v5
Priority: optional
Section: universe/libs
Installed-Size: 1435
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
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