Unofficial mirror of gmplib.org:8000/gmp