Package: ppl-dev
Priority: optional
Section: universe/devel
Installed-Size: 273
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: ppl
Version: 1:1.1-7.2build1
Replaces: libppl0.11-dev
Depends: libppl-dev (= 1:1.1-7.2build1), libc6 (>= 2.4), libgcc1 (>= 1:3.0), libppl13v5, libstdc++6 (>= 5.2)
Filename: pool/universe/p/ppl/ppl-dev_1.1-7.2build1_i386.deb
Size: 33284
MD5sum: 1dfe03c998aad630bdd79896cd412db0
SHA1: b1712c4dcfb26590543f00a8206c2d4444ddac96
SHA256: 5838a0b25f2c57126e1bae3369811e920cb714d6659d76abedd639e17a5a2b02
Description: Parma Polyhedra Library (development binaries)
Homepage: http://www.cs.unipr.it/ppl/
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu