coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Release candidate of Coq 8.4

From: Victor Porton <porton AT narod.ru>
To: Hugo Herbelin <hugo.herbelin AT inria.fr>
Cc: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Release candidate of Coq 8.4
Date: Wed, 08 Aug 2012 22:41:41 +0300

http://coq.inria.fr/coq-8.4
Page not found

08.08.2012, 22:33, "Hugo Herbelin"
<Hugo.Herbelin AT inria.fr>:
> Dear all,
>
> We plan to release version 8.4 of Coq for the Coq workshop, next
> Sunday. In the meantime, we have prepared a release candidate for
> testing purpose. Please tell us if you have any problem to
> compile/install Coq 8.4 from its source package.
>
> The source package is downloadable from "http://coq.inria.fr/coq-8.4";.
>
> The Coq development team

--
Victor Porton - http://portonvictor.org

[Coq-Club] Release candidate of Coq 8.4, Hugo Herbelin, 08/08/2012
- Re: [Coq-Club] Release candidate of Coq 8.4, Victor Porton, 08/08/2012
  - Re: [Coq-Club] Release candidate of Coq 8.4, Karn Kallio, 08/08/2012
    - Re: [Coq-Club] Release candidate of Coq 8.4, Hugo Herbelin, 08/08/2012
      - Re: [Coq-Club] Release candidate of Coq 8.4, Jason Gross, 08/09/2012