TIMESTAMP = 1518539352 SHA256 (mpfr-4.0.1/mpfr-4.0.1.tar.xz) = 67874a60826303ee2fb6affc6dc0ddd3e749e9bfcb4c8655e3953d0458a6e16e SIZE (mpfr-4.0.1/mpfr-4.0.1.tar.xz) = 1412692