The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Salut Hugo, ça arrive une fois par semaine, ça la fout mal...
P.

2012/11/16 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
>> >
>>