Rocq Call 2025 09 09 - rocq-prover/rocq GitHub Wiki

• 16:00 UTC+2:00 (CEST, Paris time zone offset)
• https://rendez-vous.renater.fr/rocq-call

Topics

486 Update on the progress of the Rocq Platform (Sylvain 5 minutes)

Roles

• Chairman: Nicolas Tabareau
• Secretary: Nicolas Tabareau
• Attending: Sylvain Borgogno, Gaëtan Gilbert, Pierre Roux, Matthieu Sozeau, Nicolas Tabareau, Théo Zimmermann

Notes

Platform Update:

• Sylvain worked under Michael's supervision
• About 10% response rate to Issues by package maintainers
• Response time generally < 48h (or no answer); need to assess whether the 1-month deadline still makes sense
• Sylvain is considering implementing more automation mechanisms

Release 9.1.0

• Create a changelog that includes the 9.0.1 changelog and then backport

End of coq-club mailing list

• Théo is preparing a message to announce the end of the list and explain how to use Discourse instead