TIMESTAMP = 1469896511
SHA256 (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 4c000daf9886e7c55f05b00247688ed0341a19cda13de49e2f35f40e95cc9910
SIZE (msoos-cryptominisat-5.0.0_GH0.tar.gz) = 596712