coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq.inria.fr down?

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] coq.inria.fr down?
Date: Thu, 29 Aug 2013 17:16:22 -0400

I note that coq.inria.fr seems down -- it gives the error message:

Proxy Error

The proxy server received an invalid response from an upstream
server. The proxy server could not handle the request GET /.

Reason: Error reading from remote server

Perry
--
Perry E. Metzger
perry AT piermont.com

[Coq-Club] coq.inria.fr down?, Perry E. Metzger, 08/29/2013
- Re: [Coq-Club] coq.inria.fr down?, Rui Baptista, 08/29/2013
  - Re: [Coq-Club] coq.inria.fr down?, Perry E. Metzger, 08/29/2013
    - Re: [Coq-Club] coq.inria.fr down?, Bas Spitters, 08/30/2013