TIMESTAMP = 1709947389
SHA256 (scip-9.0.0.tgz) = b117a27cd4b62d3aa97a4bd0eaf06cbbd19a33a203b776599173a539085ed19f
SIZE (scip-9.0.0.tgz) = 11457819