Package: ppl-dev Architecture: amd64 Version: 1:1.2-8 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: 333 Depends: libppl-dev (= 1:1.2-8), libc6 (>= 2.14), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 5.2) Replaces: libppl0.11-dev Filename: pool/universe/p/ppl/ppl-dev_1.2-8_amd64.deb Size: 34988 MD5sum: 28670fed7804807f7fe9660d235d670f SHA1: e2a4c8c3d2ba04ad4762d9c4da7711217b0e45da SHA256: 2c809a718178b6dac51f1552f1bbc01c4c5d1ccdbaf00935fc04be5f3e719098 Homepage: http://www.cs.unipr.it/ppl/ Description: Parma Polyhedra Library (development binaries) Description-md5: c3e473b9c4ef451e4f19dc97f6d27453