Package: ppl-dev Priority: optional Section: universe/devel Installed-Size: 273 Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig 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