TIMESTAMP = 1688217189
SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc
SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869