Coq Call 2020 12 09
- December 09th 2020, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- Namespaces in Coq (CEP #25)
- Some thoughts about the release cycle (Enrico)
- Should we release an 8.12.2 version? See #13599. Other issues?
- Ci and the Coq platform (Enrico, Michael)
-
8.12.2 version: yes, including the notation fix. A windows installer will come later by Michael.
-
Enrico proposes a new timeline for releasing decoupling the release of Coq from packages and installers that people seem happy about. In particular our release manager for 8.14, Guillaume Melquiond!
-
Discussion of namespaces in CEP #25. Emilio and Pierre-Marie point potential issues with a confusion of namespaces and modules. We need examples to pursue the discussion. However everyone is happy with the general plan.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.