TIMESTAMP = 1753008029
SHA256 (Rmpfr_1.1-1.tar.gz) = 1f67af9baba9e9939db9757783b90caa6054035a0d27bbd07c8403b250294bd2
SIZE (Rmpfr_1.1-1.tar.gz) = 655307
