Mirror of svn://scm.gforge.inria.fr/svn/mpfr