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