TIMESTAMP = 1550499209
SHA256 (mpfr-4.0.2/mpfr-4.0.2.tar.xz) = 1d3be708604eae0e42d578ba93b390c2a145f17743a744d8f3f8c2ad5855a38a
SIZE (mpfr-4.0.2/mpfr-4.0.2.tar.xz) = 1441996
