TIMESTAMP = 1793362060
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-27.1-9823ffb294187897a08b14bbce00743ff647cae1_GH0.tar.gz) = cf4dc82aaf6dad6f0297c6ab70d7f3f931c93c16d2f36f052de474351dcb9112
SIZE (AdaCore-xmlada-27.1-9823ffb294187897a08b14bbce00743ff647cae1_GH0.tar.gz) = 1090876
