MD5 (mpfr-2.3.2.tar.gz) = a00b35eea4b433ec20394c11921c3840
MD5 (mpfr-3.1.3.tar.bz2) = 5fdfa3cfa5c86514ee4a241a1affa138