3e46c5ce43701f2f36f9d01f407efe081700da80  tarballs/mpfr-3.1.3.tar.bz2