sdesc: "Parma Polyhedra Library (devel)" ldesc: "This is the release 1.0 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions." category: Libs Math Devel requires: libppl libgmp-devel libstdc++6 cygwin