Add opam-switch-mode to lang: coq and fix configuration of opam-switch-mode in lang: ocaml - #8132
Draft
jeremyThibault wants to merge 5 commits into
Draft
Add opam-switch-mode to lang: coq and fix configuration of opam-switch-mode in lang: ocaml#8132jeremyThibault wants to merge 5 commits into
jeremyThibault wants to merge 5 commits into
Commits
Commits on Jun 4, 2025
- committed
- committed
- committed
- committed
- committed
