The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

System administrators at École Polytechnique, where the site is
hosted, have been informed of the breakdown. We have unfortunately no
information yet on when it will be on again.

Hugo Herbelin

On Fri, Nov 16, 2012 at 11:04:28AM -0600, Harley D. Eades III wrote:
> It is down for me as well.  
> 
> Harley
> 
> On Nov 16, 2012, at 10:48 AM, Daniil Frumin 
> <difrumin AT gmail.com>
>  wrote:
> 
> > Hello,
> > the site is down for me too.
> > At least right now it gives me a "service temporarily unavailable" error,
> > few hours before it was just pinging out.
> > 
> > On Nov 16, 2012, at 8:46 PM, 
> > <paddy.mahoney AT gmail.com>
> >  wrote:
> > 
> >> Hello all,
> >> Is anyone else receiving this message?
> >> 
> >> Service Temporarily Unavailable
> >> 
> >> The server is temporarily unable to service your request due to 
> >> maintenance
> >> downtime or capacity problems. Please try again later.
> >> Apache/2.2.15 (Scientific Linux) Server at coq.inria.fr Port 80
> > 
>