Package: libppl0.11-dev Priority: optional Section: libdevel Installed-Size: 16778 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Architecture: amd64 Source: ppl Version: 0.11.2-6ubuntu3 Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9 Provides: libppl-c-dev, libppl-dev Depends: libppl9 (= 0.11.2-6ubuntu3), libppl-c4 (= 0.11.2-6ubuntu3), libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.4.0) Recommends: libgmp3-dev (>= 4.1.3) Suggests: libppl-doc Conflicts: libppl0.10-dev Filename: pool/main/p/ppl/libppl0.11-dev_0.11.2-6ubuntu3_amd64.deb Size: 3225282 MD5sum: 4f37e3ff4f02e1c19223fb942f4a3fa8 SHA1: 527fca3965aa8a7b908e9fda7430f1eb47a2db50 SHA256: 403142c7e345073509b39f7cc12502f402d801a81fe135a048620090df0be24f 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: 18m