SHA256 (mpfr-4.0.2/mpfr-4.0.2.tar.xz) = HTvnCGBOrg5C1Xi6k7OQwqFF8XdDp0TY8/jCrVhVo4o=
SHA256 (mpfr-4.0.2/patch01) = 8tKlMKy15w4anVuAiB27SlBNVlNcS8ED2D4LtjAXICk=
SIZE (mpfr-4.0.2/mpfr-4.0.2.tar.xz) = 1441996
SIZE (mpfr-4.0.2/patch01) = 1577
