I have created a new repo http://gmplib.org:8000/gmp-5.1/ for the stable 5.1.x meaning that http://gmplib.org:8000/gmp/ is now open for checkins for the next major release. I've also removed the obsolete sp-fft repo. -- Torbjörn