Coq Call 2025 03 11 - rocq-prover/rocq GitHub Wiki

• 2025-03-11, 4pm UTC+1 (Paris time zone offset)
• https://rendez-vous.renater.fr/coq-call

Topics

• Rocq 9.0 status, change of Git organization, redirection of coq.inria.fr (Pierre-Marie, Matthieu, 15min),
• Future of the coq-club mailing list (10min). Proposal:
  • close it with public archive after the release of Rocq 9.0
  • switch to Discourse for conference and job announcements
  • switch to Zulip for technical questions

Roles

• Chairman: Nicolas Tabareau
• Secretary: Matthieu Sozeau
• Attending:

Notes

• Rocq 9.0: just needs backports. Redirection of rocq-prover.org/opam/released to github.com/rocq-prover/opam

  Need to update checksums of packages which don't have a release.

• Discource/Zulip instead of coq-club. Discourse also has support for mailing list mode. coq-club will be closed after a message directing to the renamed Discourse and Zulip chats. To put Discourse in a local subdomain, do we need a local instance? Nicolas will loop back with Théo to check. Anyway we have rocq-prover.discourse.group already.