coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Pierre Courtieu <pierre.courtieu AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 16:03:44 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-il1-f177.google.com
Ironport-phdr: 9a23:sKG9xhevNbo6jK2eMZDePKdvlGMj4u6mDksu8pMizoh2WeGdxcSyZR7h7PlgxGXEQZ/co6odzbaP7Oa6ATZLvc/JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRe7oR/PusUKn4duJak8xgbUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU063/chNBug61HoRKhvx1/zJDSYIGJL/p1Y6fRccoHSWZdQspdUipMCZ6+YYQSFeoMJelXoYnzqVUNsBWwGxWjCfjzyjNUnHL6wbE23/gjHAzAwQcuH8gOsHPRrNjtLqkSUP66zLPSzTrdcvhbxzD96JXSchA9oPGDQ69wetfWxEk3FgPKkE+QqZb7MD+PyusNtHWb7/B8VeKulWEnthp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xkpSQ3xLMatJKnfCYHzIgrywLRZfGHcoWF4A7uWeSPLTp8hHxoe7Cyiwux/EW+zuDxVdW43UpJoydbjNTCuXAD2hrO4caEUvtw5lmt1SqL2gzJ6exJIVo4mbfaJpMg2LI8i5gevEbFEyTrgkv5lrWWeV8h+uWw6+TofLHmppiEOo9xkA7+M6AultW+AeQ8LwQCRmab9fm+2bDh50H5T7JKjvo5kqndrp/WP9gUpqm8AwNN04Yj7QiwDyu+3dgGgXUKKEhJdRGHgoTzJl3DIfH1Ae2ij1mukjpn3/XGMafgApXJIHjDirDhfbNl5k5EyQo808pf54hKBb0bPP3zXVLxtMbEDh84LQO03v3qCNp41owEWGKPBrWVP7/VsV+N/u4vOfWDZJcJuDbhLPgo/+LhjXggmVMEYaap2YYXZ2ujE/R9I0SZZGLsjc0bHWcLuAo+Vu3qh0eYXT5dfXbhF547sxo8EcqNCZrJDtSmh6XE1yOmFLVXYHpHAxaCCyG7WZ+DXqI0aS+IOMIpuTsZT6SgRpJpgQmvuRXgxvxsKffO5iwVqLrs0dF046vYkhRkpm88NNiUz2zYFzI8pWgPXTJjmfkn+RUgmGfG6rBxhrljLfIW5/5NVV1kZ5vVzug/CtSrHwyYIYjPR1GhTdGrRzo2S4Bpmo5cUwNGA9ynyyv78W+vCr4RmaaMAcVtoK3Z1nn1Yc16ziSfjfVzvxwdWsJKcFaeqOtn7QGKXtzGlkyYk+ChcqFOhCM=

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