News for package dh-coq