TIMESTAMP = 1782889873
SHA256 (xmlts20080827.tar) = 9b2c865aba66c6429ca301a7ef048d7eca2cdb7a9106184416710853c7b37d0d
SIZE (xmlts20080827.tar) = 5898240
SHA256 (xsts-2007-06-20.tar.gz) = 902176b25e4111cf96b08663107521a4992e8ea67aad6b815592a6a5b4b9ea06
SIZE (xsts-2007-06-20.tar.gz) = 4367182
SHA256 (AdaCore-xmlada-v26.0.0_GH0.tar.gz) = 26494e57233e8eff9f8339b1520b6dc8188b259a9fccfc808fb19ffe767813aa
SIZE (AdaCore-xmlada-v26.0.0_GH0.tar.gz) = 1083101
