News for package minisat2