TIMESTAMP = 1693302755
SHA256 (mpfr-4.2.1/mpfr-4.2.1.tar.xz) = 277807353a6726978996945af13e52829e3abd7a9a5b7fb2793894e18f1fcbb2
SIZE (mpfr-4.2.1/mpfr-4.2.1.tar.xz) = 1493608