Package: ppl-dev Priority: optional Section: devel Installed-Size: 306 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Architecture: amd64 Source: ppl Version: 1:1.1-1ubuntu1 Replaces: libppl0.11-dev Depends: libppl-dev (= 1:1.1-1ubuntu1), libc6 (>= 2.3.4), libgcc1 (>= 1:4.1.1), libgmp10, libppl13, libstdc++6 (>= 4.4.0) Filename: pool/main/p/ppl/ppl-dev_1.1-1ubuntu1_amd64.deb Size: 33164 MD5sum: a5f8942afe2a009ad5bde5637178d2e8 SHA1: 611c2313f2f16cf81981c5086c3b33fb0dd48208 SHA256: 17ecfff77b6a6e6661aed19e749e8698b0a54110ac3513dbbb17100cda3af86f 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 Supported: 9m