Coq Call 2022 09 28 - coq/coq GitHub Wiki

• September 28th 2022, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Next steps for a potential renaming? (Théo)
• Fall WG (Emilio, all)
• coq opam package perimeter (Matthieu)

Notes

• Potential renaming.

  We'll be looking for help from outside specialists in communication.

• Fall WG, Emilio will organize in Paris, trying december

• coq opam package perimeter

  For now, do not change anything, and allow coq to pull in coqide-server. We should avoid breaking user packages requiring coq needlessly in the future, at the same time, we could benefit from more precise version-tracking a la npm.