coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Benjamin Pierce <bcpierce AT cis.upenn.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 11:03:24 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-qk1-f169.google.com
Ironport-phdr: 9a23:n5m7uh3lDBhKgfbZsmDT+DRfVm0co7zxezQtwd8ZseIeLPad9pjvdHbS+e9qxAeQG9mCtLQe07Cd7/mocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTiwbalsIBmqswnducYbjZZ/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/kK1Urg+hqRN9zYDab4KbNPRgcK3aZt4aWXNBXsNNWyxBHo+wcY0CBPcBM+ZCqIn9okMDoAagCgmqBuPg0DpIhn7w3aYnyeohEB/J3BY8EN0QrX/Zq876O7sKUeC00qbI1ynMYO1N1Djh6YjIaQotoeyUXb1ud8rRz1MjGB3YgVWNsIHoOS6e2esRvWaB9eVgSf6vhHA9qwF3ujWhxtohh4vHi44I113J9SF0zYY1KNGmS0N1btCpHZtSuiyHKod6XMAvTmJntSs717ELup62cTYJxZg5yBPSa/yKfo6V6RztU+aRJC13hHNjeL+nmhay6Vavyuv6VsWuzllFszdFn9/RvX4Ozxze8taLRud580u72juC1xrf5v9aLUwqj6bXNp8sz7oompYOrUjOHTX6lUrsgKOIeUgo5vKk5ubpb7jgu5SSLZV7ihvkPaQrgsG/Afo3MgwJX2WD/OSzzrzj/UngTLVTjf06j7DVsJ7HKckaoqO1GQBV0oEk6xawCzepzs4UkmUALFJAYB6Hjo7pNE/SIP3gE/uzn1ChnC1oyv3GJLHtHIvBImbZnLv8fLtw71ZQyA8pwtBe45JUBKsBIPX2WkLpr9PXEgc5Mw2qzOb9FNpyyJgTWXmRDaCDK6Peq0KI5voxLOmKYo8ZoijyJOU45/L2l382hUcdfbW13ZsQcH23AvNmI1yAbXXwhtcBDHwFsxElTO3qjV2CSSRca2yzX6I6/DE7CZipAZ3NRoC30/S923KwGYQTbWRbAHiNF23pfsOKQaQiciWXd+VslD4NULmnA7cg2AuluUeuwbF/L+fO8SAwvpP4ksVt6uvV0xw+6GonXIymz2iRQjQszSszTDgs0fUn+BEv+hK4yaF9xsdgO5lT6vdOCFloMJfdy6ljCIm3VFufL5GGT1GpRtjgCjY0HIpoko0+Jn1lEtDntSjtmi+jArsbjbuOXcJm6a/VxD7sP8t7zTDL2LRz1gB6EPsKDnWvg+tEzyaWH5TAyhjLnKexM7kE0SjLsmqP0DjWsQ==

This version, that is:

https://softwarefoundations.cis.upenn.edu/lf-5.6/

> On Dec 21, 2020, at 11:01 AM, Benjamin Pierce <bcpierce AT cis.upenn.edu>
> wrote:
>
> Hi Pierre,
>
> Do you need just the first volume? This version is advertised to work with
> 8.8, so 8.9 might be fine.
>
> Otherwise I can give you access to the developer git repo and you can find
> what you need there.
>
> - B
>
>
>> On Dec 21, 2020, at 10:03 AM, Pierre Courtieu <pierre.courtieu AT gmail.com>
>> wrote:
>>
>> Hi, I post this question here, since I didn't find a more dedicated
>> channel. Please feel free to point me to a more appropriate one.
>>
>> For technical reasons I need a version of software foundation that
>> would compile with coq-8.9. What is the standard way to obtain it
>> please?
>>
>> Best regards,
>> Pierre
>

[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