coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: <paddy.mahoney AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] http://coq.inria.fr/ down?
Date: Fri, 16 Nov 2012 17:46:24 +0100 (CET)

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