Man Pages in ppl-dev

Section 1: Executable programs or shell commands

ppl-config.1

Obtain information about an installation of the parma polyhedra library