Module ServerInfo.VersionSource

Sourcetype t = {
  1. coq : string;
  2. ocaml : string;
  3. coq_lsp : string;
}