patch for merging graphite branch (before tuplification)

[Roberto Bagnara]

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