TIMESTAMP = 1675374852
SHA256 (gap-4.12.2.tar.gz) = 672308745eb78a222494ee8dd6786edd5bc331456fcc6456ac064bdb28d587a8
SIZE (gap-4.12.2.tar.gz) = 508975703