The Coq CVS archive moved to a Subversion archive located at coq.gforge.inria.fr (follow link SCM tree).
The Coq user contributions CVS archive moved to a Subversion archive located at coq-contribs.gforge.inria.fr (follow link SCM tree).
For general information on Coq, and access to documentation and
releases, please see
the main Coq Web site.