176043ec07f55cd02e91ee3219db141d87807b322179388413a9523292d2ee85  download/mpfr-3.1.2.tar.gz
ff9d83549fb6f59fd96f4993840c041994a1cd8ba97935a3dfcae4864a2a6331  download/mpfr-3.1.2.tar.gz.sig
