Preparing GMP 5.1.2

Torbjorn Granlund tg at
Mon May 13 15:08:17 CEST 2013

I think it is time for a 5.1.2 release, since we've found and fixed a
couple of bugs since the last release.

I am redirecting the nightly build scripts to use the 5.1 repo.
The main repository will thus be untested for a while.

Unless I hear protests, I'll make the new release towards the end of
this week.


More information about the gmp-devel mailing list