This directory contains
  * mpfr-conversion.tar.xz symbolic link to the file in www,
    containing the files used for the repository conversion
    from Subversion to Git with reposurgeon.
  * Three .out files that were generated during this conversion.
    Since InriaForge closed, these files could not be regenerated,
    though they could still be useful. At least repos-mapping.out
    is still useful to convert old InriaForge URLs corresponding
    to commits now in the mpfr.git repository.