Package: ppl-dev
Architecture: amd64
Version: 1:1.2-8.1build1
Priority: optional
Section: universe/devel
Source: ppl
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 329
Depends: libppl-dev (= 1:1.2-8.1build1), 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.1build1_amd64.deb
Size: 35072
MD5sum: df7d4407b078ae94829095be9ed00548
SHA1: 7fd9ac806bbc33cba69f096f6cc464ccdd15dbf7
SHA256: 491dd9ff9d77670151740937c38827b23fe8ba7c2bd65f98177e06bebf52a9d4
SHA512: b939a321d0e53f0388cd94b33de8213570a9ca9807ba60c2c25c9c142f75a4d616788fbea9238b3c44d63d2650962467131ccbe8b87afb74c280ee8d6127382f
Homepage: http://www.cs.unipr.it/ppl/
Description: Parma Polyhedra Library (development binaries)
Description-md5: c3e473b9c4ef451e4f19dc97f6d27453