TIMESTAMP = 1736615476
SHA256 (AdaCore-gprbuild-v25.0.0_GH0.tar.gz) = d12f94c1ec0b6e219f6b162f71f57129d22426e7798092f5f85b9ec2cc818bf1
SIZE (AdaCore-gprbuild-v25.0.0_GH0.tar.gz) = 940774
SHA256 (AdaCore-gprconfig_kb-v25.0.0_GH0.tar.gz) = 802e6d38a3b110897924a9c16e143cb86360f2dde94bb5b9144c7c391e37b121
SIZE (AdaCore-gprconfig_kb-v25.0.0_GH0.tar.gz) = 44165
SHA256 (AdaCore-xmlada-v25.0.0_GH0.tar.gz) = dbb5984a0931311c7a787a679ef4cfaeeedd357474a585dc170140ef2251dcca
SIZE (AdaCore-xmlada-v25.0.0_GH0.tar.gz) = 1082553