Package: libppl-dev
Priority: optional
Section: libdevel
Installed-Size: 14226
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.12-dev, libppl6, libppl7 (<< 0.10~pre27-4), libppl9
Provides: libppl-c-dev, libppl0.12-dev
Depends: libppl13 (= 1:1.1-1ubuntu1), libppl-c4 (= 1:1.1-1ubuntu1)
Recommends: libgmp3-dev (>= 4.1.3)
Suggests: libppl-doc
Conflicts: libppl0.10-dev, libppl0.11-dev
Filename: pool/main/p/ppl/libppl-dev_1.1-1ubuntu1_i386.deb
Size: 1797668
MD5sum: 3e7ffe98e98da4c9a8c4cc594cf9357c
SHA1: 610a49aca59986e2a301e56f0336136f858ab030
SHA256: 83b280cff0eb8c9d6dd0e71afc39036fcba83469b7b430e1caea8a04dbde86b7
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
Supported: 9m