Package: libppl-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 14463
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: 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