Package: libppl-doc
Priority: optional
Section: doc
Installed-Size: 15597
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Architecture: all
Source: ppl
Version: 1:1.1-1ubuntu1
Depends: libjs-jquery
Filename: pool/main/p/ppl/libppl-doc_1.1-1ubuntu1_all.deb
Size: 6475154
MD5sum: 9eae967657092cc40472772371e54188
SHA1: 33c19188913e1e0f8ca82c7aa322afe08b375706
SHA256: 9d29a8d6428989bed36a4342efa55f5aa6a620ddb211d1c58f940c5478d75329
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: 9m