TIMESTAMP = 1594631759
SHA256 (mpfr-4.1.0/mpfr-4.1.0.tar.xz) = 0c98a3f1732ff6ca4ea690552079da9c597872d30e96ec28414ee23c95558a7f
SIZE (mpfr-4.1.0/mpfr-4.1.0.tar.xz) = 1525476