TIMESTAMP = 1707644489
SHA256 (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b
SIZE (msoos-cryptominisat-5.11.21_GH0.tar.gz) = 975459