TIMESTAMP = 1652027442
SHA256 (scip-8.0.0.tgz) = 14997ae1be7359f481f4f0919ffe3693c12444e2e014e22b09f15409e5cc55e4
SIZE (scip-8.0.0.tgz) = 11033023