coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Daniil Frumin <difrumin AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] http://coq.inria.fr/ down?
Date: Fri, 16 Nov 2012 20:48:51 +0400

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