TIMESTAMP = 1791703035
SHA256 (scip-10.1.0.tgz) = fe8cfd15a03970ef45156ed56c6a4382485bd095e0e99cf7d7db87cdf8d47304
SIZE (scip-10.1.0.tgz) = 11320870
