TIMESTAMP = 1505979200
SHA256 (mpfr-3.1.6/mpfr-3.1.6.tar.xz) = 7a62ac1a04408614fccdc506e4844b10cf0ad2c2b1677097f8f35d3a1344a950
SIZE (mpfr-3.1.6/mpfr-3.1.6.tar.xz) = 1133672