Package: libppl13
Priority: optional
Section: libs
Installed-Size: 1456
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Architecture: i386
Source: ppl
Version: 1:1.1-1ubuntu1
Depends: libc6 (>= 2.11), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.6)
Pre-Depends: multiarch-support
Filename: pool/main/p/ppl/libppl13_1.1-1ubuntu1_i386.deb
Size: 438320
MD5sum: 214db9a19b199fcd23fefbd58fea51b1
SHA1: ba11d2329e1fc6b25ebb692d1b798812962bfda1
SHA256: 9a63f3cad3481c385ca03cab2d17cb2d6c052abff7814ead979ae0a56fe19340
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
Supported: 9m