Unofficial mirror for svn://scm.gforge.inria.fr/svn/mpfr