TIMESTAMP = 1585413545
SHA256 (pari-galpol/2018-06-25/galpol.tgz) = 562af28316ee335ee38c1172c2d5ecccb79f55c368fb9f2c6f40fc0f416bb01b
SIZE (pari-galpol/2018-06-25/galpol.tgz) = 10049371
