Unofficial mirror of http://gmplib.org:8000/gmp-5.1