Coq source repository migrated to git
Submitted by letouzey on 22 Nov 2013 15:08 GMT
The main source repository for Coq on gforge.inria.fr is now using git instead of subversion.
For accessing this new repository, see the "sources" page of the coq project on gforge.
More details could be found on the wiki page about this transition.
Happy git cloning :-)