mpfr-3.1.2.tar.xz http://www.mpfr.org/mpfr-3.1.2/mpfr-3.1.2.tar.xz
