TIMESTAMP = 1473692160
SHA256 (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 789d53c90ecbd5910f48e4e1bd835e374b268e0b3872a81fd5c6178a30a5e263
SIZE (msoos-cryptominisat-5.0.1_GH0.tar.gz) = 596710