coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Very old versions of Coq

From: Yves Bertot <Yves.Bertot AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Very old versions of Coq
Date: Fri, 29 Jan 2016 11:02:25 +0100

Hello,

I need to run a very old version of Coq. There used to be a site where one could find all versions of Coq since the beginning. I don't manage to find it anymore. Can anyone help me?

With my best,

Yves

[Coq-Club] Very old versions of Coq, Yves Bertot, 01/29/2016
- RE: [Coq-Club] Very old versions of Coq, Soegtrop, Michael, 01/29/2016
  - Re: [Coq-Club] Very old versions of Coq, Yves Bertot, 01/29/2016
    - Re: [Coq-Club] Very old versions of Coq, Gabriel Scherer, 01/29/2016