Package: libppl-dev Architecture: amd64 Version: 1:1.2-8 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: 21120 Provides: libppl-c-dev, libppl0.12-dev Depends: libppl-c4 (= 1:1.2-8), libppl14 (= 1:1.2-8) 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_amd64.deb Size: 2019984 MD5sum: 5e4b9978e90b9294d6ce043db0ae182f SHA1: 5efe5f965b221e3311b42dfcabac446f0c7481d9 SHA256: 2b1bad11cffa2c4208b86e5626581a4d2fb0db11ff3c014bddc4cb42f5f2eccc Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development) Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a