Coq Call 2025 03 11
- 2025-03-11, 4pm UTC+1 (Paris time zone offset)
- https://rendez-vous.renater.fr/coq-call
- 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
- Chairman: Nicolas Tabareau
- Secretary: Matthieu Sozeau
- Attending:
-
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.
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq 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.