SHA256 (mpfr-3.1.2.tar.gz) = 176043ec07f55cd02e91ee3219db141d87807b322179388413a9523292d2ee85
SIZE (mpfr-3.1.2.tar.gz) = 1621228