TIMESTAMP = 1726461363
SHA256 (scip-9.1.1.tgz) = fd68a7ecc3c9086a68ef7ed0421381e811130f4c7dcb2c13ae69744577abd5cf
SIZE (scip-9.1.1.tgz) = 9982768
