SHA256 (mpfr/mpfr-3.0.1.tar.xz) = 28a96d58f2763528a979b2a016959dce2abbc8fef8142fa1860670c248760061
SIZE (mpfr/mpfr-3.0.1.tar.xz) = 1016096
SHA256 (mpfr/patch01) = 71c062051a2c7df031740b9b358b32addbcf90261f914cdfc32fc66f7afdf43a
SIZE (mpfr/patch01) = 3899
SHA256 (mpfr/patch02) = c7d92754b1de6040e69ef253a63f084f96bdbefcf7a12211397b9f6b29cf9721
SIZE (mpfr/patch02) = 3282
SHA256 (mpfr/patch03) = cdec3e6b213260c5e3d51696c44bb373b035a10b178b711f001e672e768f27f5
SIZE (mpfr/patch03) = 3347
SHA256 (mpfr/patch04) = 3c8b35c4d2593d404dadee1d00b2c5d6cc581e9530c10085fd0a183b39e31200
SIZE (mpfr/patch04) = 1722