Package: ppl-dev
Architecture: amd64
Version: 1:1.2-8.1build5
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: 323
Depends: libppl-dev (= 1:1.2-8.1build5), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libppl14, libstdc++6 (>= 13.1)
Replaces: libppl0.11-dev
Filename: pool/universe/p/ppl/ppl-dev_1.2-8.1build5_amd64.deb
Size: 38196
MD5sum: 4348dd2610c12ad550a409af871b6059
SHA1: 3e16ac4672a52343601da947dfddabb5f598745f
SHA256: 528e6645f2c41f851ff27619e58a2f2cb73cb24910a80b3c3ecb92e2a8c5bbf9
SHA512: 729a1fd6edef707fdc674069f2d492dc1add211b96f1914e42509fafd2c43cffab3ab0a49a30419e826842b6b7e94f91c55d21842e61a0b62c2277597b0f5186
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453