Package: libppl-doc Priority: optional Section: doc Installed-Size: 8895 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Architecture: all Source: ppl Version: 0.11.2-6ubuntu3 Filename: pool/main/p/ppl/libppl-doc_0.11.2-6ubuntu3_all.deb Size: 4248358 MD5sum: c5eb6da3bb384af1b582fb5a4bc5fe9a SHA1: 00b849ec2970049ae84ffd1bf1f805fb4b1fcd47 SHA256: 8bea1ac118aa1ae9ed9fa829efbb3597d44728de2269d0b5426a012e9ccd31cf Description: Parma Polyhedra Library: Documentation Homepage: http://www.cs.unipr.it/ppl/ Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 18m