Package: libppl-doc Source: ppl Version: 1:1.2-1 Installed-Size: 16260 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-1_all.deb Size: 6673358 MD5sum: cad31e937c9012530483135914f3f7c7 SHA256: 71770b8aeb01e78c3b84cf673ca7a886d914b20277d745114746920232ae5816