Package: ppl-dev Architecture: i386 Version: 1:1.2-2build4 Priority: optional Section: universe/devel Source: ppl Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Team Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 298 Depends: libppl-dev (= 1:1.2-2build4), libc6 (>= 2.4), libgcc1 (>= 1:3.0), libppl14, libstdc++6 (>= 5.2) Replaces: libppl0.11-dev Filename: pool/universe/p/ppl/ppl-dev_1.2-2build4_i386.deb Size: 33060 MD5sum: 12e1935b9eb590d571fb8ef63e712399 SHA1: 0ac936725331fbe6ae5f41d0cd3e56724f850b81 SHA256: c9209762eb9e3185f03f48058271fe193bb91bfdc7c6925821c63a3d9f12fc3c Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development binaries) Description-md5: c3e473b9c4ef451e4f19dc97f6d27453