Paul Zimmermann <Paul.Zimmermann at loria.fr> writes: gmplib.org says "GMP 4.3.0 will be released in March 2009". This is clearly a bug. Thanks, this bug has now been fixed. -- Torbjörn