Package: ppl-dev
Priority: optional
Section: devel
Installed-Size: 297
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
Replaces: libppl0.11-dev
Depends: libppl-dev (= 1:1.1-1ubuntu1), libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libppl13, libstdc++6 (>= 4.4.0)
Filename: pool/main/p/ppl/ppl-dev_1.1-1ubuntu1_i386.deb
Size: 32938
MD5sum: 54a19aa36ae0abba0ef298dd61d16fd9
SHA1: facf1c73d797d0a88163513fd5187c2e81a21daf
SHA256: 6dba38b6f14eaf82e2c561e571a758735da0a5609b998a80a224521867610994
Description: Parma Polyhedra Library (development binaries)
Homepage: http://www.cs.unipr.it/ppl/
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Supported: 9m