Package: libppl-dev Priority: optional Section: universe/libdevel Installed-Size: 14463 Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Architecture: i386 Source: ppl Version: 1:1.1-7.2build1 Replaces: libppl0.12-dev, libppl6, libppl7 (<< 0.10~pre27-4), libppl9 Provides: libppl-c-dev, libppl0.12-dev Depends: libppl13v5 (= 1:1.1-7.2build1), libppl-c4 (= 1:1.1-7.2build1) Pre-Depends: dpkg (>= 1.17.14) Recommends: libgmp3-dev (>= 4.1.3) Suggests: libppl-doc Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev Breaks: libppl6, libppl7 (<< 0.10~pre27-4), libppl9 Filename: pool/universe/p/ppl/libppl-dev_1.1-7.2build1_i386.deb Size: 1828128 MD5sum: b5653dd83596e422bf964bfb1400c9ac SHA1: dc9d629950f584bd7c291d707925966575138adb SHA256: 4fa14502608abb49b1a8a455a39209173ab94c9f8c6fbd09e9bc609d90110a20 Description: Parma Polyhedra Library (development) Multi-Arch: same Homepage: http://www.cs.unipr.it/ppl/ Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu