3290a2214ec30e2d4146dd848f69580b  cryptominisat-5.7.1-i586-1salix15.0.txz