TIMESTAMP = 1608539374
SHA256 (scip-7.0.2.tgz) = 6eb44f6f2afa1cbbb9714251eb31889ab2afcbe68267773c11e689dc4c5e4427
SIZE (scip-7.0.2.tgz) = 10271583