coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Michael Soegtrop <msoegtrop AT apple.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 17:56:16 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=msoegtrop AT apple.com; spf=Pass smtp.mailfrom=msoegtrop AT apple.com; spf=Pass smtp.helo=postmaster AT ma1-aaemail-dr-lapp03.apple.com
Ironport-phdr: 9a23:GYBzHhcEB3gW0qHt+PanFfOjlGMj4u6mDksu8pMizoh2WeGdxcS9Yh7h7PlgxGXEQZ/co6odzbaP7Oa6ATZLvc/JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRe7oR/PusUKn4duJak8xgbUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwBwzIHJbo+bOvpwYKHSc9AdS2daRMldSylBD5m8b4cTDecMO/tToYnnp1sJqBuzHQ6iBOLzxT9InHD5w6k62Pk8HwHBwgMgEM4OsG7TrNXtKawfVuW1zLLPzTrdYPNWxS396I/Qch06u/6MRapwcc7PxkU1CwzFiVCQpJXjMjiI2esDr3KV4PB8VeKzlWEnsQdxryChy8oshYfEmoEYxk7Y+Sh5zos5O9O2RUx/bNO4EJVdqz2WOYV4T84+Q2xkpiQ3xqMHtJC0fCUEyJopyhrQZvKHdYWD/xztVOGUIThihXJlfqqyhxmz8Ui8yu38S9K73ExWoSpCl9nBsG0G2R/L6sWfV/dw/F2t1SuN2gzO8O1IP1o4mKjFJ5I537I9lIAfvVrNEyL2gkn6krGaels+9uWo6+nqZKjtqIWGOI9ukA7+N7wjmsyhDuQ8NQgDR22b9v6h2LH650L2WqtFjvgsnanYtJDWPNkUprSgDw9RyIkj8w6/Ayuo3dgCh3YHNEpFeBaZgITzJ17OJ/X4Ae++g1Sqjjhr2+jLMqDjD5nXM3TOkqrtcaxj50JGygc/08hT55dOBbEAJPLzVFXxtNvdDhIhNgy02OHnB8ty1oMCQ2KPBbeZPbjIvl+Q/uIvJ/eDaJUJtzb6Lvgp/+TugmMhmV8BYamp2oMaZ2y/HvR/OkmWfX7sgsoaHmoRpQo/TOnqiEWYXjJJZnayWbg85jAhB468A4fDXNPlvLvU1yCiW5ZSe2puC1aWEH6ueZ/Xde0LbXe3I8RhmzEAHYOmRoA9zxa2/Fv/0L1qIfbO/TUwvIr70NUz7OrWw0JhvQdoBtiQhjneB1p/mXkFEmdvgfJP5Hdlw1LG6pBWxvxVEdsIvKFMW15/PJfRyuV7D5X+QEfFd8+REA3gS82+BTx3RdU0kYZXMhRNXu66hxWG5BKERroclriFHpsxq/uO1mDpI8s7wHHDhvB40wsWB/BXPGjjvZZRshDJDteQwUyBj6KnM68b2XyV+Q==

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