SHA256 (mpfr-4.2.0/mpfr-4.2.0.tar.xz) = BqN43xNQEkjBsttaqXeiyBJq6Emp2be+JUb7Spwm2ZM=
SIZE (mpfr-4.2.0/mpfr-4.2.0.tar.xz) = 1477532
