The Coq mailing list

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

Hi all

As some of you may have noticed, the coq website [1] has slightly evolved
these past weeks. In particular, the Content Management System (CMS) that
powers the main part of the site has been upgraded, leading to some minor
visual differences. In fact, a lot of other changes happened under the hood:
this CMS is now hosted on a brand-new (virtual) server in a different hosting
facility, along with our bugzilla [2] and our Cocorico wiki [3] and our
download zone [3]. We hope that this new framework will be more reliable
than the past one. After this transition, we're now working at improving
the website content, fixing first some very basic issues such as broken
links or invalid html5 pages here and there. If you notice any problem
with the site or its satellite tools ([1], [2], [3], etc), please
tell us (via coq-www@...).

Incidentally, the Inria network where coq.inria.fr is now hosted has
a scheduled maintenance downtime next Tuesday (November 25) from
18:00 to 20:00 (Paris local time, hence 17:00 to 19:00 UTC). During
this downtime, you should at least be able to access the old server [5].
For the moment this old server is still almost up to date (but has no
bugzilla or wiki anymore).

Pierre Letouzey, for the coq webmaster team

PS: And yes, our new web server has a valid certificate :-)

[1] https://coq.inria.fr
[2] https://coq.inria.fr/bugs/
[3] https://coq.inria.fr/cocorico/
[4] https://coq.inria.fr/distrib/
[5] http://www.lix.polytechnique.fr/coq/