Package: libppl-dev
Architecture: i386
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: 14814
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_i386.deb
Size: 1907152
MD5sum: 6b4b42fcc75ee804dbf7641cd4034e54
SHA1: f683ba3ee4f854a7bf4828a76d0c1b673858510c
SHA256: 519ef816c19d4bb823f8aedadcdfa9d1453f6a3f9fd775d37b61319b4e5ce155
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development)
Description-md5: 4fa45d1b24bb1abf6f705e66d3cc4f4a