TIMESTAMP = 1788766813
SHA256 (Rmpfr_1.1-3.tar.gz) = 9073c36a3b04a916c2795adb2affa7a5001702cbf49d42da80b51c0f41ce8cf6
SIZE (Rmpfr_1.1-3.tar.gz) = 662208
