TIMESTAMP = 1781763042
SHA256 (AdaCore-gnatcoll-core-v26.0.0_GH0.tar.gz) = 65141af0582012f1d52e921d0be485f8635300ef32dcf5e2a45d7bed03cbe6f9
SIZE (AdaCore-gnatcoll-core-v26.0.0_GH0.tar.gz) = 7526941