Document: libppl-dev
Title: The Parma Polyhedra Library Developer Reference Manual
Author: PPL developers <ppl-devel@cs.unipr.it>
Abstract: This manual contains a general introduction to the Parma
 Polyhedra Library (PPL) and full documentation of the PPL C++
 interface, including implementation details.
Section: Programming/C++

Format: postscript
Files: /usr/share/doc/libppl-doc/ppl-devref-print.ps.gz

Format: pdf
Files: /usr/share/doc/libppl-doc/ppl-devref-browse.pdf.gz

Format: HTML
Index: /usr/share/doc/libppl-doc/html/developer-reference/index.html
Files: /usr/share/doc/libppl-doc/html/developer-reference/*.html
