TIMESTAMP = 1585411885
SHA256 (pari-galdata/2008-04-11/galdata.tgz) = b7c1650099b24a20bdade47a85a928351c586287f0d4c73933313873e63290dd
SIZE (pari-galdata/2008-04-11/galdata.tgz) = 53229