1407793ff7b258f7fc893d80eccee5107a03ac72  mpfr-2.4.2.tar.xz