coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq.inria.fr down

From: Valentin ROBERT <vrobert AT cs.ucsd.edu>
To: Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] coq.inria.fr down
Date: Mon, 24 Sep 2012 11:25:40 -0700

Hello Daniel,

It's been down for a few days (since Friday I think), and is
undergoing maintenance it seems (there was a message on the website
before downtime).

It would be good to have some static mirror in such situations though.

- Valentin

On Mon, Sep 24, 2012 at 11:13 AM, Daniel de Rauglaudre
<daniel.de_rauglaudre AT inria.fr>
wrote:
> Hi,
>
> coq.inria.fr is down
>
> --
> Daniel de Rauglaudre
> http://pauillac.inria.fr/~ddr/

[Coq-Club] coq.inria.fr down, Daniel de Rauglaudre, 09/24/2012
- Re: [Coq-Club] coq.inria.fr down, Valentin ROBERT, 09/24/2012
  - Re: [Coq-Club] coq.inria.fr down, Daniel de Rauglaudre, 09/24/2012
    - Re: [Coq-Club] coq.inria.fr down, gallais @ ensl.org, 09/24/2012