TIMESTAMP = 1719034140
SHA256 (scip-9.1.0.tgz) = 40459696c513c376bd1dbde10744837d0d4d4b9359df26243e749ba7991481f6
SIZE (scip-9.1.0.tgz) = 9931426