News for package coq-interval