TIMESTAMP = 1523777686
SHA256 (scip-5.0.1.tgz) = cfdcbd8bef454e8813550992255746e657f708a6789d129a5000ef8e3815edf4
SIZE (scip-5.0.1.tgz) = 7996808
