TIMESTAMP = 1616578122
SHA256 (Rmpfr_0.8-3.tar.gz) = 2a31ad989f5e1a1e6adcaeeea15d73be1818dd1739af438241e8f10419e73cd5
SIZE (Rmpfr_0.8-3.tar.gz) = 642705
