TIMESTAMP = 1522220012
SHA256 (Rmpfr_0.7-0.tar.gz) = 2f665787c1336b20569a1677d5349f0c6161a84499f77005dba64973a81df24a
SIZE (Rmpfr_0.7-0.tar.gz) = 604965
