TIMESTAMP = 1747455080
SHA256 (Rmpfr_1.1-0.tar.gz) = ae3e148dc7f003960a81fd4f2b8285c8f8b951be3f34fc2779dfca20b1af141f
SIZE (Rmpfr_1.1-0.tar.gz) = 618436