The release of GMP 4.2 will take a few more days, mainly due to problems with the C++ interface. If all goes well, the release should happen early next week. Thanks to all those who have helped with testing of the release candidate! -- Torbjörn