6fdabd54dc9076e0e2f28f489f5eab64  cryptominisat-2.9.6.tar.gz
45203be947368de75b44cf734cbac1d7  cryptominisat-5.0.1.tar.gz
cce64bfd256700e96baee90b7bdfe770  cryptominisat-5.6.6.tar.gz
ca1bf853e568c19968daa5464ab86843  cryptominisat-5.6.8.tar.gz
05bdde77aa78c983849437e93b39bd6a  cryptominisat-5.8.0.tar.gz