Rocq 9.0.0#6

Merged

Aurele-Barriere merged 23 commits intomainfrom

Mar 2, 2026

Commits on Nov 28, 2025

Rocq9: fix some old LATERs
shilangyu
committed
Update flake to Rocq (9.1)

Ef55
authored and
shilangyu
committed
WIP: use dune's new rocq plugin
shilangyu
committed

Commits on Dec 3, 2025

Commits on Dec 5, 2025

Commits on Jan 17, 2026

Commits on Jan 28, 2026

Commits on Jan 29, 2026

Test Rocq 9.0 on CI and bump Node version
shilangyu
committed

Commits on Feb 22, 2026

Re-enable Alectryon with vsrocqtop
shilangyu
committed

Commits on Feb 23, 2026