VSRocq language server 2.5.0 - #30653

Merged

jmid merged 2 commits into

ocaml:masterfrom

gares:opam-publish-vscoq-language-server.2.5.0

Sep 6, 2026

Commits on Sep 4, 2026

2 packages from rocq-prover/vsrocq at 2.5.0
vscoqbot
committed
b4b3569

Commits on Sep 5, 2026

lowerbound on sel
gares
committed
2fab016