coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 11:57:31 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qv1-f49.google.com
Ironport-phdr: 9a23:d1cmyxHFcGjY8w8RHlBsvp1GYnF86YWxBRYc798ds5kLTJ7yp8WwAkXT6L1XgUPTWs2DsrQY0rWQ6fi6EjBZqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5wIRmsswndqtcajYRtJ6os1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMOjgk+2/Vl8NwlrpWrg+/qRxxw4DaY4+bO/RxcazfYdwUSnFMXtpTWiFbHo+wc4UCAugHMO1Fr4f9vVwOrR6mCASyAOPo0DpIiWHw3a0my+svCwDG3BA5E98QtHTbtsj1O7oMXuCx0aLFyinMb+tX2Tfh9IfIdgouoeyRUr1udcrc0kYvFwbfgVWRrYzpJS+a1uMIs2WC6edrSO2ghXI9pQ5rvjiv2tkjipPPho8NyF3J6Sd0zYk1K9C8R0B2fN6qHIVeuSybN4Z4TcAvTmV1tSs4yrALtpq2cTQXxJk72hLSZPyJfouV7h/nV+ufLzF1j29rdrK4gha960mgyuvkW8auylZFsipFktjStn8TzRDT7dKHSvRl8ke8wTaAyQbT6udeLU8qiKXbNpgsyaMzmJoLqUnPADP6lUHsgKKVdkgo4Pak5/njb7n8qZKRM5d4hh/xP6g0m8GzHP40PhYBUmSH4+ix16Hv8EvkS7tQlPI2iLPWsJXCKMQbuKG5BwhV354m6xmlDjem1M0UnWAZLF5YYR6HgYfkNlXULPD3Cve/hFuskDN1yPzcIrLhBZDNImDCkLfnY7l991ZRxBQvwd1b/Z5ZCbEMLOjtVkPssNHUFBA0Pgisz+biEtp914ceWWyVAq+eNaPfqUOH5vouI+mQeIAVvCzyK+U46PHwiX80glAdfayz0psWbHC0BOhpI0KcYXb0mNcODX8KvhYiTOztkFCNTTlTZ2+rU60g4jE7FZmpAJzYRoGthbyBxD20EodXZmBAEFCMEG3ne5+KW/cWO2quJZpqlSVBXry8Qacg0wuvvUn00elJNO3RrwYcNJfu0sRC3+zP0Do2/CF4AsDVh2qVTn1/mmoVSzIy9K96qE15jFyE1P4r0LRjCdVP6qYRAU8BPpnGwrkiUo2gakf6Zt6MDW2ebJCmDDU2FI9jxtYPZwNkBYzngEySmSWtBLARmvqAA5lmqvuAjUi0HN50zjP97Idkl0MvG5IdOmivh6o5/A/WVdaQwhep0p2yfKFZ5xbjsWKKzG6ApkZdCVciXqDMXHRZbUzT/430

On 12/21/20 10:03 AM, Pierre Courtieu 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?

The web archive has a few old releases:
-
https://web.archive.org/web/20190317204001/https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz
(09 Jan 2019, Coq 8.8.1)
-
https://web.archive.org/web/20190317204037/https://softwarefoundations.cis.upenn.edu/plf-current/plf.tgz
(08 Feb 2019, Coq 8.8.1)

Re: [Coq-Club] Software foundation for older versions of coq, (continued)
- 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
    - 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, Fernandez, Matthew, 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, Fernandez, Matthew, 12/23/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/21/2020