The text e96fad4117f2, as Debian 6.0 (Squeeze) shipped it.
the C interface of the Parma Polyhedra Library
libppl_c(3) on Linux now
