TIMESTAMP = 1583962842
SHA256 (linbox-team-givaro-v4.1.1_GH0.tar.gz) = d0cde67e7b29c5d6a0ba0afb52410a91bd0f7f2c2b14def1fe4f98b22b7494d7
SIZE (linbox-team-givaro-v4.1.1_GH0.tar.gz) = 645424