Coq Call 2025 02 25
- 2025-02-25, 4pm UTC+1 (Paris time zone offset)
- https://rendez-vous.renater.fr/coq-call
- Rocq 9.0 status (Pierre-Marie, Matthieu, 15min)
- CI upload install dir instead of build dir (https://github.com/coq/coq/pull/19925, Gaëtan, 15min)
- RUDW in Switzerland ? (Matthieu)
- Chairman: Nicolas Tabareau
- Secretary: Pierre Roux
- Attending: Gaëtan Gilbert, Guillaume Melquiond, Pierre-Marie Pédrot, Pierre Roux, Matthieu Sozeau, Nicolas Tabarau, Enrico Tassi, Théo Zimmermann
- Rocq 9.0
- mostly waiting for changelog PR
- no major issue reported otherwise
- changelog should be feasible during the week
- would be nice that a few people get a last look on the website and notice missing things
- long term plans to use alectryon (hopefully ported to vscoq-language-server next summer) for refman
- questions about renaming on github and website (not blocker for tagging release)
- for website: would be convenient to retrieve logs of 404 errors to discover broken links
- CI upload install dir instead of build dir #19925
- avoid reinstalling things over and over (and sometimes redoing other things like coqchk in compcert)
- needs update of minimizer
- saves a bit of disk usage
- but main reason: being more principled
- conclusion: ping Jason for minimizer before merging
- RUDW
- in Switzerland (EPFL)? week 26 from 23 to 27th June? or 30th June to 4th of July?
- maybe rather in Paris (INRIA) and next year in Switzerland (somewhat closer to ETAPS in Torino, Italy)?
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.