TIMESTAMP = 1705902132
SHA256 (Rmpfr_0.9-5.tar.gz) = bce9a2729efcd329a13910e2ecb4675b4626dd3322cd01b01cb835d516a5f31b
SIZE (Rmpfr_0.9-5.tar.gz) = 608053