The Coq mailing list

[Yves Bertot <Yves.Bertot AT inria.fr>]

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