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