Package: libppl-doc Priority: optional Section: universe/doc Installed-Size: 16276 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: all Source: ppl Version: 1:1.1-7.2build1 Depends: libjs-jquery Filename: pool/universe/p/ppl/libppl-doc_1.1-7.2build1_all.deb Size: 6477328 MD5sum: 27d80669d70f6db4b72cdcdc472b3558 SHA1: 2a0942a1bf13eef993b1acb57b5dccc6794a8697 SHA256: 95e4e60f0e7f46e554426f0ca628cf4f69e099148e25cda9fc1e7ceed97d04ed Description: Parma Polyhedra Library: Documentation Homepage: http://www.cs.unipr.it/ppl/ Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu