The text 64bad90a8cec, as Debian 7 (Wheezy) shipped it.
the C++ interface of the Parma Polyhedra Library
libppl(3) on Linux now
