https://github.com/ProofGeneral/opam-switch-mode
Emacs Lisp5
last year
Select OCaml opam switches via a menu or using a command
GNU General Public License v3.0