Package: libppl-dev Architecture: amd64 Version: 1:1.2-8.1build1 Multi-Arch: same Priority: optional Section: universe/libdevel Source: ppl Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Team Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 21159 Provides: libppl-c-dev, libppl0.12-dev Depends: libppl-c4 (= 1:1.2-8.1build1), libppl14 (= 1:1.2-8.1build1) Recommends: libgmp-dev Suggests: libppl-doc Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev Breaks: libppl7 (<< 0.10~pre27-4), libppl9 Replaces: libppl0.12-dev, libppl7 (<< 0.10~pre27-4), libppl9 Filename: pool/universe/p/ppl/libppl-dev_1.2-8.1build1_amd64.deb Size: 2009264 MD5sum: fad17fa9326839f759abae4cdb2d6762 SHA1: e403ef499545fec62646eb9fb0a549c96c3535e7 SHA256: e86f5d5d61d575f6a989a2d4e2e580aa380041a3c297e2db5070164c690a3c88 SHA512: cbc7a85cf3dc012f06958f5dc8cb32f5f6950cc6e4b4f4d1f811287f79a522a6b87ebe818a6b64fa36dc731a664eb8e0ae71fd40664f8a455f11b7703040e802 Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development) Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a