opam-switch-mode in ocaml-community/awesome-ocaml, coq-community/awesome-coq

Select OCaml opam switches via a menu or using a command

created at May 29, 2022, 1:01 p.m.

2 +0

5 +0

4 +0