coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
To: Karn Kallio <tierpluspluslists AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Release candidate of Coq 8.4
Date: Wed, 8 Aug 2012 21:49:23 +0200

Indeed. Thanks.

Hugo

On Wed, Aug 08, 2012 at 03:15:36PM -0430, Karn Kallio wrote:
>
> I think it is this:
>
> http://coq.inria.fr/coq-84
>
> > 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

[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