Re: [PPL-devel] patch for merging graphite branch (before tuplification)

Joseph S. Myers wrote:

And what is the packaging status of the GMP C++ interface? The PPL page claims it's widely not packaged.

The PPL's web page reflected what was the situation in a not too distant past. Nowadays, most binary distrubutions of GMP include its C++ interface. I have updated the PPL web page: sorry if this anachronism has caused some confusion. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it