TIMESTAMP = 1550904410
SHA256 (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 38add382c2257b702bdd4f1edf73544f29efc6e050516b6cacd2d81e35744b55
SIZE (msoos-cryptominisat-5.6.8_GH0.tar.gz) = 701037