The Coq mailing list

[Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>]

Hi,

On Mon, Sep 24, 2012 at 08:26:03PM +0200, Valentin ROBERT wrote:

> 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).

I don't think so. There is an error message, but after some tenths of
seconds, meaning that the browser can't access to it. The error message
likely comes from the browser, not from the site.

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

Indeed.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/