Coq Call 2020 12 09 - coq/coq GitHub Wiki

• December 09th 2020, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• 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)

Notes

• 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.