MD5 (mpfr-2.3.2.tar.gz) = a00b35eea4b433ec20394c11921c3840