TIMESTAMP = 1635521611
SHA256 (Rmpfr_0.8-7.tar.gz) = 93c2db785ff705dcfc6fa7f0373c2426cdc2ef72ceb5b294edeb2952775f57d2
SIZE (Rmpfr_0.8-7.tar.gz) = 660055