TIMESTAMP = 1603119332
SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94
SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785