TIMESTAMP = 1475049382
SHA256 (mpfr-3.1.5/mpfr-3.1.5.tar.xz) = 015fde82b3979fbe5f83501986d328331ba8ddf008c1ff3da3c238f49ca062bc
SIZE (mpfr-3.1.5/mpfr-3.1.5.tar.xz) = 1126668