The Coq mailing list

[Gabriel Scherer <gabriel.scherer AT gmail.com>]

People interested in trying older versions of Coq to recompile an old development may be interested in the fact that all 8.x versions are currently available on the "core-dev" opam repository (8.0 was released in April 2004):
  https://github.com/coq/opam-coq-archive/tree/master/core-dev
  https://github.com/coq/opam-coq-archive/tree/master/core-dev/packages

(If I understand correctly, this repository is intended to be enabled to setup development environments to develop Coq itself, rather than for end-users wishing to install and develop Coq packages.)

Hugo Herbelin has been maintaining these branches so that they can be compiled on recent OCaml versions (I think they work on 4.02.3, possibly with older Camlp5 versions). It should be possible to apply the same treatment to even older versions when there is interest. Do not hesitate to give your motivation for using old version X on this list (or directly contribute the work of applying the relevant patches to make them work in today's software environments), it could lead to it being made available hassle-free for everyone.

On Fri, Jan 29, 2016 at 6:18 AM, Yves Bertot <Yves.Bertot AT inria.fr> wrote:

This is what I was looking for.  I don't know why I could not find the link the las time
I tried to find it, but it is available from the current web site.  My mistake.

Thanks for your help.

Yves

On 01/29/2016 11:09 AM, Soegtrop, Michael wrote:

Dear Yves,

did you look at https://coq.inria.fr/distrib/ ? It goes back to 5.6.

Best regards,

Michael

-----Original Message-----
From: coq-club-request AT inria.fr [mailto:coq-club-request AT inria.fr] On
Behalf Of Yves Bertot
Sent: Friday, January 29, 2016 11:02 AM
To: coq-club AT inria.fr
Subject: [Coq-Club] Very old versions of Coq

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

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928