coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for volunteer maintainers of CoqIDE

From: Théo Zimmermann <theo.zimmermann AT telecom-paris.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Call for volunteer maintainers of CoqIDE
Date: Fri, 2 Jun 2023 14:41:00 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmermann AT telecom-paris.fr; spf=Pass smtp.mailfrom=theo.zimmermann AT telecom-paris.fr; spf=None smtp.helo=postmaster AT zproxy130.enst.fr
Dkim-filter: OpenDKIM Filter v2.10.3 zproxy130.enst.fr 531CB1206DC
Ironport-data: A9a23:VjocIqOkJyXxcvrvrR1pk8FynXyQoLVcMsEvi/4bfWQNrUpxhGAAz 2RLXmyCM/nfZGH3KYtxO9jl8kxVusCAxt5rHHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYAfNNwJcaDpOsPrd8Ek355wehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX6USPmweRSHH1nFpdC2tprXH5g9 OIxfWVlghCr34pawZqpUvNrltV6d5GtMYUEpjdu11k1D95/Gs+FGvSWo4UehWZs7ixNNa62i 84xdTpia1LSYhhKN00SAZQ4tPulgnT0dDgdsFuPpLFx7XK7IAlZieG1YYaEJoTbLSlTtnvCt Dnv22XgOR9ELvCG8By8wC/ytMaayEsXX6pLSOzpqa416LGJ/UQYDwRTXl+mq9Gim0umUpReL VYV82wgt8APGFeDXMHnWA2p+SXc+BMaQMYWHfdSBByxJrT83yTBDGoVci59Ofc87u8KWWE1+ F6Xtoa8bdBwi4G9RXWY/7aSiDq9PykJMGMPDRPoqyNevrEPR6lv1nryosZf/L2d0o2lQmuqq 9yehHJi3+pO5SIe//jTwLzRv967jrbzJuLfzj3eRGO+hu+STNH4P9X0gbQ3xV2mKIvcQlTEk mINncOThN3i4LmfjDaKUPRUR+nv6vCeLHvSmzaD/qXNFRzzoRZPnqgKulmSwXuF1O5fIVcFh 2eI52tsCGd7ZifCUEOOS9vZ5z4W5abhD8/5cfvfc8BDZJN8HCfeonEzOxLMhTq8yRVy+U3aB Xt9WZj3ZZr9Ifo6pAdau89HgORDKt0WmTODG8+rk3xLL5LPOi7NIVv6DLd+RrllvfLb8Fq9H yd3LcaMwglSSoXDjtr/r+YuwaQxBSFjX/je8pUPHsbae1oOMD96UZf5n+h+E7GJaowIzI8kC FnnBB8BoLc+7FWaQTi3hodLNOu0Dcwn/CNgZkTB/z+AghAeXGpm149HH7NfQFXt3LULISdcH 6hdKfaTSO9CUCrG8Dk7ZJzw5t4qPheyiA7Ee2LvbDEjdtQyD0bE6/31TDvJrSMuNyuQsddhg ruC0giAf4EPaT4/B+nradWu7WiLg14jpMxIUXH1f+ZjIHfXzNAyKgjarOMGHMUXGBCSmhqYz 1m3BDkbl8nsoqg00oH7urCAnt34D89ONEpRGm3JybOEJAjb4WuR7otSW8mYfT3mdT3V+YfzQ c533v3DIPk8s1ISiLVFEpFv1rMY29vjg5R43zZUNizHQHrzA4wxP0Tc+9dEs5N844NwuCy0a xqpwcZbM7DYA/HVOgcdCyR9Z9vSyMxOvCfZ6Mk0B0DI5CVX2r6jemcKNjmujB1tFpdEALkH8 8wA5vFPsxeejyA0OOmolipXrmSADkIRWpUd6601PtXZtRoJ+HpjP7rsUjT78bOeWeVqa0MKG AKZtIDGprZbx3fBTUYNKGjw7bJdqKkK6T93zw4kBlWWm9D6qOc98z9P/B8WEAlE7BV1/NhiG 2psNkFaG768wBF2jvMaQFGcORlKFUCc8U3Q0HoMrnXSFGOzZ1zOLUo8GOeDx18Y+GRiZQpm/ KmU5WLmcDTyduTz43cCYlFkoPndUtBBzA3Ot8S5FcCjHZNhQz7aroKxRGgP8T3LPNgQgRDZm OxU4+pAU633GioOqakdCYPB97AxSgiBFVNSU8Na46IFMmHNSg6cgQHUBRiKRfpMAPjW/WuTK c9kfJtPXivj8he+lGkQAKpULoJkmPIs2sE5RYrqAmw44p+/tTtitazC+hfu3FELR8pcqudjC 4fzWQ/bLEmuqyp1oVLdlOhFJWuyXvccbiLewu2e0bsEBrADgs5WYGAw1bq5uV+EOlBnojeom RznYpHLxLdb1LZqvorIOYdADjWSNtncermp8geyktIWdvLJE57EmD00o2ndHTZ9HOUuSfFos 7WSofj18k/hl5QnYVDzwpWuOfFA2pSvYbBxLMnyEkh/oQKDf83duz045GGyLM1youN3v8WIa VOxV5qtSIQzRdxY+XxybhpeGTY7D4DcTP/phQG5nsS2Jikt6y71B/L5yiaxdkBeTDECBLPmA Aytu/qO2MFRnL4RODA6XcNZE71KC369f5t/e9PI4GzSSiHih16ZobLtmCYx8TyBWDHODM/+5 omDXRTkMgi7vKbT1txCrohupVstAW1ghfUrNFcokzKsZ+tW0EZdRQjcDXkHNn2Quj7qzpbod WiWNC0vDz7hGzpeGfk5DBIPQS/HbtHi+P+gTtDqw69QQzu7AI6LB74k7i564mwwdCGLICSPN 4QF4nOpVvSu6sgBeAvQj8BXRc97y/fXzXUNvFj0ic3pRRgEaVnPOLqNAyIVPRH6/wrxeIkn6 IT7qa2ogK12dKIpLftdRg==
Ironport-hdrordr: A9a23:ykL0Ca33f0gNy8ft4XDK+QqjBI4kLtp133Aq2lEZdPUnSL3+qy nIpoVg6faUskdrZJlD8ertBEDkexzhHPFOkOss1NuZLXDbUQiTXeRfBOnZsl7d8kTFn4Y3v8 oAE5SWY+eAdWSS4/yKhjVQX+xQpOVvL5rHudvj
Ironport-phdr: A9a23:9UmhXh35UwCnru25smDOig0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaCo6481xSUBM3y0LFttan/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+5DfeQtFiT6zbL99L Bi6sBjau9ULj4dlNqs+xRzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVRnlgzoFOTEk6mHaks9+gqxUrx2vuRJxw5Pab52aOvdlYqPdZMkXSXZdUstfVSFMBJ63Y YsVD+oGOOZVt5fzp1sUqhu5GAKjB+LvyjpNhnDox6061v4uEQfA3Ac9GN8OrHTUo8vyNKsIU OG1zazIzTDdYPNM3Dfy8o7IchY6rPGQQ71wddTexlUoFwPAl1mQsZbqPymU1uQWqWSb4fBgW PuphmU6pA5/viKhyd0wionVmI0V0FbE+D12zYs0ONG1SlN3bMK4HJdMtiyWKYp7T80tTm10v Cs3yr0ItJG4cSQWyZkq2x7RZfKIfoWW4R/uUOmfLDd4in9lfr+0mhi88U+lyuLmV8m01k5Hr itDktnWt3ACzQbf6sadSvdl8Ueh2CqP1wDO6u5fO0w7ia3bK5s5zrIsl5cesl3PETPxmEXvj a+Za1sr9vGz6+T/ZrXmp4OcO5Vxig7jNKklh8+xAfwgPwQTUWWW+/6w2KDn8ED2WrlGkOc6n rTdvZ3VPcgWqKy0DxVI3osh9xqzFSmq3MgGkXUdLl9IeRSKhJXzNV7UOvD3F/K/jkyskDh1w /DGOaXsA5TVLnjZl7fgcrZ851NSxQYv19xQ+ZRUCqodIP7pVE/xrsTUDh4/MwOq3+bqEMhx2 40cVG6VH6OUNKzfvUWW6u41PuWBYIAYtC74K/c/5v7uiXE5mUUafamsxZYXdHC4EephI0mDY Hvsg9IBEWIUsQokSezlkluCUThIanauQa084i80B56hDYfGX4ytmKaO3D26Hp1NfGxGBEqMH W/ud4qfQ/gMcj6dItd9kjwYUrisU5It2Qm0tADm07pnMvbU+ioAuJ3/09h1/vTfmg029TxpF MuQyHqNTmFxnmMQXTA6xqF/oUpnyleCy6d0mfJYFcYAr89OBww9LNvXy/FwI9H0QAPIONmTG 3i8RdDzPTGwSZoDwtoLblx4EtOkxkTf3yetRa0UkrmGHpk99KT0w3X1Ks16zjPe3bMglB8oW J0cZiWdmqdj+l2LVMbymEKDmvPyHUx99CvE9WPZiHGLoFkdSgl7F6PMQXEYYELS69X//ELLC bG0Wvw8KgUU78mEJ+NRb8Hxy01cTaL/ONnZJXCwnmK9HxOBwLWkcIfudm4a2WDFAVIFiEYd5 yXOLhAwUx+ouHmWFzlyDRTqakLo//N5rSanTkIziROLakhszb+8/Bg9mfGYRvgU2/ccsT0gs HN6BgX1xMrYXvyHoQcpZ6BAeZU97VNAgHrerBB4N4e8IrpKlEYEdBRm5hi2kRhxEZkGn9JCQ GoC6g10JOrY1VpAc2ndxpXsIvjNLWK0+hmzaqnQ01WY0dCM+65J5u5q41Pk9BqkEEYv6RAFm 5Fczmec65PWDQETTYO5U0A58AJ/rq3bZS917p3d1HllO625+jHY3NdhCOwgwxemN9BRVcHMX BPyHspcFcmrLeEwnlGvaDoYMeRf/6kxetuvbfqdnqCxfa5hkD+gkWVb8dVlyEvfkkg0AuXM3 psD37SZxl7eDGi61Qb99JqxwNEYNlRwViKlxCPpBZBcfPh3dIcPUyK1JtGvg895jNjrUmJZ8 1iqAxUH3tWocFycdQ+Yv0UY2EIJrHiggSb9wSZzlmRjsqqS22rcwuHneQACM2hNbHVviVrnJ o3xl9kAXVPuYRJjx37HrQ7qgrNWoqhyNTyZXUdFeG7kLmRnX7G1v7yES9JC7J4jtiASSO2mY EvcRKS38H54m2vzWmBZwj48bTSjvJ70ygd7hGyqJ3F2tHPFeMt0yH8z/fTkTOVKlnoDTSh80 3zMA0SkesOu9pOSnovCtea3UySgUIdSeG/l19HIuCy+7GxsSRqx+pL70sHnHA98wy7+0tRwU CzOqj7gb43m3KO/dPpuZEhzQlHmo8Z3AYBxlIIsiYpYgCNFwMzEoTxd1z6ibZ1SwsecJDIVS CQOwsLJ7QStw0BlIn+Thsr4Wnib3sp9doy/a2IS1Dg66pMCA6OV4bpY2Cpt9wPj8kSIMKQ7x HFEmKd9jRxSy/sEswcs0CiHV7UbHE0CeDfpiwzN9de16qNeeGeod7G0kkt4h9GoSr+Y8WQ+E D70fIkvGSho44BxKlXJhTfv6ozjPsvRaNcerBidlRHok+VRJZk2k78SjDBmIiTzpzd2roxzx Qwrxpy8sIWdfi9x/K++RAxZMzj4fcYa/DfFkatak82R2sW3F49gAXMFRtG7KJDgWCJXvvPhO QGUFTQ6oXrOArvTEziU70J+pm7OGZSmZDmHYWMUxtJ4SFyBNVRS1UoKCS4ikMdzRWXIjITxN V107TcL6hvkpwtQn6h2YgLnXD6XpR/0OG5vF97GfUYQtEcbth2SapT7jKo7HjkGrMf59FXfd DLDNV8TVW9bAB7WDAikZ+PwrdjYr7rBXbX4dqqSJ+/I9bE7Nb/AxIrxgNE+p2/eaJvXbCI5V /NpgBgRB3wxGtyFyWxUFGpOxn6LNYjC/0f7oXQSzIj38ey1Cli3vdLdVeUKY440ox7k2/XRZ +fX3XwmYTdAisFVlCSOleVZhQdJzXs3LlzPWfwBrXKfFfOL3PIKSUdCMGUpbZMA7rpgjFAcY oiG15Wsj+U+1KduQwBMUVir8i2wTeoNJWz1dFbOBULRca+DOSWO2cb8J6W1VbxXiuxQ8Ry2o zeSVUH5bHyFkHHyWhajPPsp7mnTNQFCuIy7bhdmCHTyBNPgZBqhNdZrjDowibQqj3LOPGQYP HByaURI5rGX6CpZhL14FQkjpjJ9KvKYni+C8+TCAoQOq/x7E30vz6RX5m8mjbVPrWlFSPFzh CrOv4turlWhwYztgnJsVBtDrCoOhZre5B49f/yIqt8aHy+VoEFojy3YERkBqtp7B8e6vqlRz oKKj6fvMHJY9NmS+8IABs/SIcbBMXw7MBOvFiSHaWlNBTOtK2zbgFRQ1f+I8XjA5IQ6p5+qi psLT7JBUVUzENsGB0BoF9sHZY9+RDI/17CBxp1thzL2vFzKScNWs4qSHOqVGunqIS2FgKNsd QMSxqPpdN9LcID9wFAkZEMwz+GoUwLAGNtKpCNmdAo9pk5ApWN/QmME0EXgcgqx4XUXGJZce zYqhw9zauMosS/l+VYsYFTQ9nNYeKYZhdjhjDuWdXvpJb2xRsdYEXit36DQGoHjWQFlfFTpx QppMizYAbxL3eMISA==
Ironport-sdr: 6479e35d_8SO8vswnSNF6CcLFoD9wpij7l98h/7gWBGSJbUyy9xM0e0e qUGW82wrJPzqZiRryGW9rMjuNiAWow9oasGAzmQ==

Dear Coq-club readers,

The Coq core team and Coq-community are looking for volunteer maintainers of the CoqIDE project.

CoqIDE is an Integrated Development Environment (IDE) for Coq (https://coq.inria.fr/refman/practical-tools/coqide.html). CoqIDE is implemented using the OCaml programming language and the GTK3 widget toolkit for graphical user interfaces (GUIs). CoqIDE uses a legacy XML-based protocol to communicate with Coq and is licensed under the open source LGPL-2.1 license.

CoqIDE’s source code is currently part of Coq’s GitHub repository (https://github.com/coq/coq). Due to a desire to shift IDE-related work toward the Language Server Protocol (LSP) and Visual Studio Code support, the Coq core team no longer considers CoqIDE maintenance and evolution a priority. With this call, the team wants to give an opportunity to the Coq community to take over CoqIDE maintenance and lead its future evolution.

If maintainers are found, CoqIDE sources will be moved to a repository in the Coq-community organization on GitHub (https://github.com/coq-community), where it will receive support and fixes from the core team for a limited time. If no maintainers are found, CoqIDE sources will be kept in Coq’s repository and minimally maintained until their eventual removal.

More details about the context and the plans for the future of IDEs for Coq can be found in Coq CEP 68 leading to this call (https://github.com/coq/ceps/blob/master/text/068-coqide-split.md).

Please respond to the following GitHub issue with a brief motivation and summary of relevant experience for becoming a CoqIDE maintainer: https://github.com/coq-community/manifesto/issues/145

As part of their application, volunteer maintainers are encouraged to briefly present their short-term and long-term plans for CoqIDE and how long they think they will remain active on CoqIDE maintenance. However, this won’t be considered as a commitment on their part, as plans and priorities can evolve based on the context and personal circumstances. The maintainer(s) will be selected from the issue responders by the Coq core team and Coq-community organization owners. Responders not selected will still be encouraged to contribute to CoqIDE in collaboration with the new maintainer(s) and other contributors.

Anyone else planning to get involved as an active and regular contributor to the CoqIDE project is also welcome to make themselves known in the GitHub issue and to briefly present which improvements and changes they plan to propose.

[Coq-Club] Call for volunteer maintainers of CoqIDE, Théo Zimmermann, 06/02/2023