Package: ppl-dev
Source: ppl
Priority: optional
Section: universe/devel
Installed-Size: 330
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1:1.2-8.1+build6
Replaces: libppl0.11-dev
Depends: libppl-dev (= 1:1.2-8.1+build6), libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libppl14, libstdc++6 (>= 13.1)
Filename: pool/universe/p/ppl/ppl-dev_1.2-8.1+build6_amd64.deb
Size: 39258
SHA512: 4287561050f26b11dd2956a1e19c569dbc11f40225071a7731b71c8b4b6221f5b3658b84b9df3908c40dce4db7be2b4be2305bc4de41aaaf5b1276e1a206f569
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug