Package: libppl-dev Architecture: amd64 Version: 1:1.2-2build4 Multi-Arch: same Priority: optional Section: universe/libdevel Source: ppl Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 17738 Provides: libppl-c-dev, libppl0.12-dev Depends: libppl14 (= 1:1.2-2build4), libppl-c4 (= 1:1.2-2build4) Recommends: libgmp3-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-2build4_amd64.deb Size: 1770632 MD5sum: 9531b10782760510eaa829487300efa2 SHA1: 5a3d716709b105e3ad1daa39864ff9036754f078 SHA256: f7a188889f20861157f1db11149c918cd987c89b998361864fa8f34fe55123c6 Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development) Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a