d7271bbfbc9ddf387d3919df8318cd7192c67b232919bfa1cb3202d07843da1b  mpfr-2.4.2.tar.xz