News for package coq-mtac2