TIMESTAMP = 1703881075
SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0
SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163
