TIMESTAMP = 1587725012
SHA256 (AdaCore-xmlada-17.0.0-e5bbafe_GH0.tar.gz) = 8183dfa557aa5d6d16c77d01a134f821e20aa2dce05cb49f046426d5ddd08a20
SIZE (AdaCore-xmlada-17.0.0-e5bbafe_GH0.tar.gz) = 1022668