coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Bas Spitters <spitters AT cs.ru.nl>
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: Fri, 30 Aug 2013 08:43:35 +0200

FWIW. I found out yesterday that Debian packages the docs too.

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

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