GMP 5.0.2

Torbjorn Granlund tg at
Thu May 5 17:41:54 CEST 2011

I'd like to make GMP 5.0.2 before summer breaks out.  If some developer
wants to move more changes from the head repo to the gmp 5.0 repo, this
would be a good time to do it.


More information about the gmp-devel mailing list