InriaForge has closed. The Subversion repository, which was hosted there, has been converted to Git, and the repository is now hosted on Inria GitLab. Please see the MPFR Git repository page for details.
Note: In the future, this page may contain additional information, for instance about obsolete InriaForge URLs.