coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Rui Baptista <rpgcbaptista AT gmail.com>
To: "Perry E. Metzger" <perry AT piermont.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] coq.inria.fr down?
Date: Thu, 29 Aug 2013 22:48:23 +0100

It's not the first time it's been down. It happens occasionally.

On Thu, Aug 29, 2013 at 10:16 PM, Perry E. Metzger <perry AT piermont.com> wrote:

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