TIMESTAMP = 1690897251
SHA256 (linbox-team-givaro-v4.2.0_GH0.tar.gz) = dca23a928e4704f045848fce884fe49ce09a8de7ebf750b87c807ca4e0facedd
SIZE (linbox-team-givaro-v4.2.0_GH0.tar.gz) = 637479