TIMESTAMP = 1533978783
SHA256 (Rmpfr_0.7-1.tar.gz) = 9b3021617a22b0710b0f1acc279290762317ff123fd9e8fd03f1449f4bbfe204
SIZE (Rmpfr_0.7-1.tar.gz) = 622242