Removed another Coq versions