TIMESTAMP = 1679205144
SHA256 (scip-8.0.3.tgz) = 0dc6297a32e9ebe5fc9d0aa9f9168ec7ea3c2ce551596356c4076eab8a470850
SIZE (scip-8.0.3.tgz) = 9526371
