TIMESTAMP = 1789110510
SHA256 (scip-10.0.3.tgz) = 7fe90d216e1481b430eaed2bfc25c0349ffd73bfad6201bd96fa082dc54c1438
SIZE (scip-10.0.3.tgz) = 11291091
