Package: ppl-dev
Architecture: amd64
Version: 1:1.2-8
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: 333
Depends: libppl-dev (= 1:1.2-8), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 5.2)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-8_amd64.deb
Size: 34988
MD5sum: 28670fed7804807f7fe9660d235d670f
SHA1: e2a4c8c3d2ba04ad4762d9c4da7711217b0e45da
SHA256: 2c809a718178b6dac51f1552f1bbc01c4c5d1ccdbaf00935fc04be5f3e719098
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453