SHA256 (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 114da20e25734dc368dada47afd8cb7d44717f2159ad66d5bac742062fa3eb4c
SIZE (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 467221