coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Scheluded downtime

From: Jean-Marc Notin <notin AT lix.polytechnique.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Scheluded downtime
Date: Mon, 3 Feb 2014 07:23:26 +0100
Organization: CNRS - LIX

Hi,

Due to a scheduled power cut, the servers that are running the web
services for Coq (the Coq web site, the bug tracker, and the coqbench)
will be down for a few hours starting at 09:00 pm (GMT+2). The mailing
lists and the SCM repository will not be affected.

We are sorry for the inconvenience.

--
Jean-Marc Notin
CNRS - LIX UMR 7161

[Coq-Club] Scheluded downtime, Jean-Marc Notin, 02/03/2014