TIMESTAMP = 1713971481
SHA256 (scip-9.0.1.tgz) = f79966b88d9b88b0e42665b171bebda4280ba58e740f1ae342ac4ee785c6f012
SIZE (scip-9.0.1.tgz) = 11464811