Mirror of official GMP mercurial repository - View it on GitHub