TIMESTAMP = 1703442251
SHA256 (scip-8.1.0.tgz) = 9316427fc778c4bf15298651309c6e5b334b278cfe606d1ff5668d50ba41f53f
SIZE (scip-8.1.0.tgz) = 11171216
