TIMESTAMP = 1533812522
SHA256 (msoos-cryptominisat-5.6.3_GH0.tar.gz) = c2fb4912cc8d8f3135af94581f11f30fd82347ee15ad8fb905e12a499e6fa87f
SIZE (msoos-cryptominisat-5.6.3_GH0.tar.gz) = 683713