The Coq mailing list

[Pierre Letouzey <pierre.letouzey AT inria.fr>]

----- Mail original -----
> Hi!
> 
> For those of you following the development of Coq via the git mirror
> of the coq archive located on gforge.inria.fr, you may have noticed
> that the following repository address:
> 
> git://scm.gforge.inria.fr/coq/coq-svn.git
> 
> stopped being accessible after the software upgrade of gforge this
> week.

The gforge team has fixed the issue, the repository address above should
be usable again.


> Instead, this repository appears to be accessible now via:
> 
> https://gforge.inria.fr/git/coq/coq-svn.git
> 

This alternative address remains usable (modulo the ca-certificate issues).
I've also fixed today a misconfiguration of this git repository that
was preventing access to an up-to-date version of the archive via https://
(git update-server-info was not performed).

Finally, the coq mirror on github (cf https://github.com/coq/coq)
is now updated by the same script I run to update the gforge mirror.

Best regards,

Pierre Letouzey