There is now a GMP 4.2 release candidate available, please test it and report problems and successes to me (not to any GMP list). The tar file is here: ftp://ftp.swox.com/pub/gmp/src/gmp-4.1.99.tar.bz2 Unless something terrible shows up, I will release GMP 4.2 tomorrow. -- Torbjörn