TIMESTAMP = 1775786414
SHA256 (scip-10.0.2.tgz) = 7544647007c9a63a770a71f5884a50ac81da37372bb6958d08588870bd58a50b
SIZE (scip-10.0.2.tgz) = 11287080