SHA256 (mpfr-3.1.0/mpfr-3.1.0.tar.xz) = 84fdb2d65e7323ae717f82ebf524280afe076393188e83ebc278a6bd91cf4ed0
SIZE (mpfr-3.1.0/mpfr-3.1.0.tar.xz) = 1083128
SHA256 (mpfr-3.1.0/patch01) = f2fb9ddd6a4b2ec7a580e5aa8eb275a1dfd1720f520e10d2b491246f4513c1c5
SIZE (mpfr-3.1.0/patch01) = 1935
SHA256 (mpfr-3.1.0/patch02) = 9205e3c412add2dda89346ad52fe8452d3e685595f1b973f6ff846505c5967e6
SIZE (mpfr-3.1.0/patch02) = 4502
SHA256 (mpfr-3.1.0/patch03) = f096849b0f5db432f70f0945d366644943f11eb8c95185fde48f27faac2ff40b
SIZE (mpfr-3.1.0/patch03) = 8260