dc2ae6550f66a4b602228c1e17b45f83 cryptominisat-5.6.8-x86_64-1_slonly.txz