TIMESTAMP = 1465542815
SHA256 (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = ffa837c757164b9f0c7383f43f6e846f19ab80f77ade8ce43d9efc68e6e0b99d
SIZE (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = 2079967