News for package cryptominisat