TIMESTAMP = 1782908771
SHA256 (AdaCore-AdaSAT-v26.0.0_GH0.tar.gz) = de4fa5a74fd4b27cf3fead6e8c9491f22b0ab4b7b591b076073c6ba2a870162c
SIZE (AdaCore-AdaSAT-v26.0.0_GH0.tar.gz) = 30714