coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq website maintenance planned ... tomorrow Sept 1st, 07:00 UTC

From: Pierre Letouzey <pierre.letouzey AT inria.fr>
To: coq-club <coq-club AT inria.fr>, Coqdev <coqdev AT inria.fr>
Subject: [Coq-Club] Coq website maintenance planned ... tomorrow Sept 1st, 07:00 UTC
Date: Wed, 31 Aug 2016 21:08:01 +0200 (CEST)

Hi all,

I've just been warned by the IT guys at INRIA that coq.inria.fr will
undergo a system maintenance tomorrow morning, starting at 07:00 UTC.
(09:00 here in Paris). No duration announced, probably a few hours.
The amount of disruption for the coq.inria.fr services is also unclear yet,
but our website will probably be offline for some time during the operation,
as well as the bugzilla and cocorico wiki.

Sorry for the inconvenience, and the (very) late notice
Pierre Letouzey

[Coq-Club] Coq website maintenance planned ... tomorrow Sept 1st, 07:00 UTC, Pierre Letouzey, 08/31/2016