Package: libppl-dev Priority: optional Section: libdevel Installed-Size: 18364 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Architecture: amd64 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_amd64.deb Size: 1854646 MD5sum: c588fc9145bdfeb99d4f7a4830a2a948 SHA1: d7f1fe8d194e7194bc37ee86596f8b71536fc78c SHA256: 186c416411a34dbf9cb817d5fc03358a841a4693dbd3599449e93ca557cc3d3c 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