TIMESTAMP = 1742806105
SHA256 (mpfr-4.2.2/mpfr-4.2.2.tar.xz) = b67ba0383ef7e8a8563734e2e889ef5ec3c3b898a01d00fa0a6869ad81c6ce01
SIZE (mpfr-4.2.2/mpfr-4.2.2.tar.xz) = 1505596