Package: libppl-doc
Source: ppl
Version: 1:1.2-8.1
Installed-Size: 16235
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: all
Depends: libjs-jquery
Description: Parma Polyhedra Library: Documentation
Homepage: http://www.cs.unipr.it/ppl/
Description-md5: e029bc6a5a70f3c124b8771f1c1acfb5
Tag: devel::doc, devel::lang:c++, made-of::html, made-of::pdf,
 made-of::postscript, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/ppl/libppl-doc_1.2-8.1_all.deb
Size: 6668684
MD5sum: b25c4f5d43eb7ff74c97e0ad4164c373
SHA256: 6d1a99591a0844d6a1691ed8365de2104c224947c3ca01fddceb18cb797e0f78