MD5 (mpfr/mpfr-2.3.1.tar.bz2) = 8352b619e04dcc73411a38b39dd855f6
SHA256 (mpfr/mpfr-2.3.1.tar.bz2) = d857f9df4a6cf50d0bc57dd11296dd1a8d1ac709442875ea4fcd757a89da8430
SIZE (mpfr/mpfr-2.3.1.tar.bz2) = 888921