gmp3

Barak Pearlmutter bap@cs.unm.edu
Tue, 4 Sep 2001 05:19:59 -0600 (MDT)


Any progress on moving to gmp3 ?

Debian is flushing gmp2 as obsolete.  Apparently it is rotten with
bugs which have been fixed in gmp3, or something like that.

I can keep debian's mlton package using gmp2 anyway, but it seems like
it would be better to move to gmp3 instead, if that is possible.

					--Barak.