Package: libppl-dev Architecture: amd64 Version: 1:1.2-8.1build5 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: 16841 Provides: libppl-c-dev, libppl0.12-dev Depends: libppl-c4 (= 1:1.2-8.1build5), libppl14 (= 1:1.2-8.1build5) 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.1build5_amd64.deb Size: 1858558 MD5sum: 67f92b82ca3dba07056bb1ec4570578d SHA1: edb77b7c13713ab1d38d03c4901856004db9a6e1 SHA256: eea4ba090f5b5050d35a08cd3176da5488ade5b1b884113f224ade42e0128be0 SHA512: ce48474346dd48eec15fc71431a3de7980821170d2db24434c7cf1066f5a6a6845d5055a9a96a8f1593b16dd6a895be0f83d604d5438fa7fb66a102832114a6b Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development) Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a