TIMESTAMP = 1562412806
SHA256 (Rmpfr_0.7-2.tar.gz) = ec1da6ec5292ea6ac95495c6a299591d367e520ae324719817fb884c865603ff
SIZE (Rmpfr_0.7-2.tar.gz) = 626031