Unstable Coq repository used