coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

On Thu, 29 Aug 2013 22:48:23 +0100 Rui Baptista
<rpgcbaptista AT gmail.com>
wrote:
> It's not the first time it's been down. It happens occasionally.

Yes. I was just hoping to inform the maintainers, presuming they were
not aware.

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