Package ppl-devel

• libppl(3) — the C++ interface of the Parma Polyhedra Library
• libppl_c(3) — the C interface of the Parma Polyhedra Library