Coq versions removed (moved to the repo-coqs repository)