Package: ppl-dev
Architecture: i386
Version: 1:1.2-2build4
Priority: optional
Section: universe/devel
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: 298
Depends: libppl-dev (= 1:1.2-2build4), libc6 (>= 2.4), libgcc1 (>= 1:3.0), libppl14, libstdc++6 (>= 5.2)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-2build4_i386.deb
Size: 33060
MD5sum: 12e1935b9eb590d571fb8ef63e712399
SHA1: 0ac936725331fbe6ae5f41d0cd3e56724f850b81
SHA256: c9209762eb9e3185f03f48058271fe193bb91bfdc7c6925821c63a3d9f12fc3c
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453