carta

libppl_c(3) on Linux

The text 4e9ebc204bd6, as Debian 7 (Wheezy) shipped it.

the C interface of the Parma Polyhedra Library

libppl_c(3) on Linux now