coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Harley D. Eades III" <harley.eades AT gmail.com>
To: Daniil Frumin <difrumin AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] http://coq.inria.fr/ down?
Date: Fri, 16 Nov 2012 11:04:28 -0600

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
>

[Coq-Club] http://coq.inria.fr/ down?, paddy.mahoney, 11/16/2012
- Re: [Coq-Club] http://coq.inria.fr/ down?, Daniil Frumin, 11/16/2012
  - Re: [Coq-Club] http://coq.inria.fr/ down?, Harley D. Eades III, 11/16/2012
    - Re: [Coq-Club] http://coq.inria.fr/ down?, Hugo Herbelin, 11/16/2012
      - Re: [Coq-Club] http://coq.inria.fr/ down?, Pierre Courtieu, 11/17/2012