TIMESTAMP = 1744870484
SHA256 (scip-9.2.2.tgz) = 07c237f2f694c8f24ec9a1b22bcd7cef530b74446f46cfb13905b1a2c3759e5e
SIZE (scip-9.2.2.tgz) = 10098143