The text 701f86a3fa93, as Debian 6.0 (Squeeze) shipped it.
the C++ interface of the Parma Polyhedra Library
libppl(3) on Linux now
