Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Migration of the Coq official source repository on gforge (from svn to git)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Migration of the Coq official source repository on gforge (from svn to git)


Chronological Thread 
  • From: Pierre Letouzey <pierre.letouzey AT inria.fr>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Migration of the Coq official source repository on gforge (from svn to git)
  • Date: Mon, 4 Nov 2013 20:31:31 +0100 (CET)


Dear coq-clubbers,

I'd like to to inform you that a migration of the Coq official source
repository
is underway, and will happen next ** Friday 15 November ** if all goes well.
On this date, the current svn repository on gforge.inria.fr will be
discontinued,
and replaced by a git archive on the same server. After this transition,
the following command will allow anonymous access to the coq sources:

git clone git://scm.gforge.inria.fr/coq/coq.git

More details could be found in today's announce on the coq-dev list [1] or in
cocorico's dedicated wiki page [2]. In particular, if you're already using
an existing git mirror of the coq sources (either the one on gforge or the one
on github), this migration should normally induce very little disruption
(just a url change in the case of the gforge mirror).

Best regards,
Pierre Letouzey

[1] https://sympa.inria.fr/sympa/arc/coqdev/2013-11/msg00023.html
[2] http://coq.inria.fr/cocorico/MigrationGit


  • [Coq-Club] Migration of the Coq official source repository on gforge (from svn to git), Pierre Letouzey, 11/04/2013

Archive powered by MHonArc 2.6.18.

Top of Page