coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Software foundation for older versions of coq

From: manoury <pascal.manoury AT lip6.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 18:45:37 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pascal.manoury AT lip6.fr; spf=Pass smtp.mailfrom=pascal.manoury AT lip6.fr; spf=Pass smtp.helo=postmaster AT osiris.lip6.fr
Ironport-phdr: 9a23:hl4DBBAcyrFNJtoOUssqUyQJP3N1i/DPJgcQr6AfoPdwSPT/psbcNUDSrc9gkEXOFd2Cra4d1KyM6/qrADRaqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5wIRmsswndqtcajYR/Jqot1BfCv2dFdflRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2UKJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5KplVBPklCEKPCM//WrKiMJ/kbhbrQqhqRNjzIHafY+bNPRgcKzfft0UQnFMUdxNWyxEGI68b5cDAugHMO1Fr4f9vVwOrR6mCAmpHuzvzDhIhmLs3aw6zu8sFhnG0xY7H90SqnvUqM/5NKIIXuCzy6nI0C/DbvNN1Df56YjIahEsreuCXbJqaMfcz1QkGAzZgFuKs4PlIy+V2foXs2id9+dtSeaih3M6pgx1vjSj29sghInJi48I1F3K+yt3zYgoKdC4RkB2f8KpHIVNuyyVN4Z7QsAvTW5mtSskyrMIuYC2cS4Xw5opwB7fbuaIc4mO4h/7W+aRICt4hHJ4eL2knRq97U+gyuj6W8Kp01hKtjJInsTCu3wTzRDf9NaLR/ln8kqgxTqDzQ7e5v1cLU02lqfXMYAtzqMsmpYJtUnOHzX6lFj2gaKScEgv5/Km5P79Yrr8o5+RL490hR/6MqQpgsG/Bv84MgkUX2ia4uSwzrnj/UzhQLhLlPE2nLPZvIjbJcQduKG5HxdY3pst5hqhFTuqzsoUkHsdIF9EZB6LlYbkN03WLPD9F/i/glCskDlxx/DBO73sGo3NIWLYkLj9Z7l971RQyA8pwtBZ4JJUF6sBIfLoV0/1tdzYFh40Pxa6w+b9ENl9zJ8RWXqTAq+FN6PfqUOH5uU2I+WVeIAVvCv9JOM+6v71jX45nEcdcrOz0ZsWbnC4BPVmLF+DbXrimNdSWVsN6wE5VanhjECIeT9VfXe7GawmtR8hD4fzCI7FQZ23kfTVxC6gFZRSIGVPDFeRC2bAc4ScBbECcnTBcYdajjUYWO35GMca3ha0uVqikuc1Hq/v4iQd8Knb+p116unUzE9g8id1FcWGlWWMVz8ykHlaHmZnjpA6mlR0zxK46YY9hvVZEdJJ4PYYAAM7LcCawfYoUomuCDKERc+ATROdevvjGSs4H4A1wsdQJUhnSY2v

I am responsible for the request of Pierre. He needs an old version for a course he will give

at my university. Sorry for the trouble.

Pascal Manoury.

Le 21 déc. 2020 à 17:56, Michael Soegtrop <msoegtrop AT apple.com> a écrit :

Hi Pierre,

may I ask why you need to be compatible with Coq 8.9?

Since a while the Coq release managers and me are working on a project called Coq Platform (https://github.com/coq/platform) - essentially a set of scripts and opam patches to install Coq and a set of frequently used libraries and plugins for all common OSes. The reason d'être of this project is to make it easy to regularly update Coq and Coq libraries. As main driver of this project I would be interested to understand what reasons people have to stay with 8.9.

Best regards,

Michael

[Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
- Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
  - Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
  - Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/21/2020
      - Re: [Coq-Club] Software foundation for older versions of coq, manoury, 12/21/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Benoît Viguier, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/23/2020
      - Re: [Coq-Club] Software foundation for older versions of coq, Stefan Monnier, 12/22/2020
- Re: [Coq-Club] Software foundation for older versions of coq, Clément Pit-Claudel, 12/21/2020
  - Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
      - Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020