TIMESTAMP = 1789106339
SHA256 (AdaCore-AdaSAT-26.2_GH0.tar.gz) = 575d03f19d639780f9a361457f3aa7ec7eb9b1d55dce5b576a7a69334c138d4d
SIZE (AdaCore-AdaSAT-26.2_GH0.tar.gz) = 30697
