TIMESTAMP = 1762273628
SHA256 (scipoptsuite-9.2.4.tgz) = 4327736efa07a83eb08580d339409936dfe40864a1670dc5fc75d3e3df78d290
SIZE (scipoptsuite-9.2.4.tgz) = 17637706