TIMESTAMP = 1673161339
SHA256 (mpfr-4.2.0/mpfr-4.2.0.tar.xz) = 06a378df13501248c1b2db5aa977a2c8126ae849a9d9b7be2546fb4a9c26d993
SIZE (mpfr-4.2.0/mpfr-4.2.0.tar.xz) = 1477532
