News for package coq-hammer