On Sat, Jul 25, 2026 at 05:46:24PM +0100, Alexander Nasonov wrote: > This may break some packages. Do you plan to update coq (versions 8.xxx) > to rocq (versions 9.xxx)? No, I have no plans for that. Are you interested in working on this? Otherwise we can roll back the update for now. Thomas