Wrong version of language server is used in opam repo

[tribbloid]

according to opam, version 2.2.1 is installed:

$ opam upgrade
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).

The following packages are not being upgraded because the new versions conflict with other installed packages:
  - base.v0.17.1
  - coq-core.8.20.0
  - coq-stdlib.8.20.0
  - coqide-server.8.20.0
  - jane-street-headers.v0.17.0
  - jsonrpc.1.19.0
  - jst-config.v0.17.0
  - lsp.1.19.0
    ∗ vscoq-language-server.2.2.1 is installed and requires lsp (>= 1.15 & < 1.19)
  - ocaml-compiler-libs.v0.17.0
  - ocaml-config.3
  - parsexp.v0.17.0
  - ppx_assert.v0.17.0
  - ppx_base.v0.17.0
  - ppx_cold.v0.17.0
  - ppx_compare.v0.17.0
  - ppx_enumerate.v0.17.0
  - ppx_hash.v0.17.0
  - ppx_here.v0.17.0
  - ppx_inline_test.v0.17.0
  - ppx_js_style.v0.17.0
  - ppx_optcomp.v0.17.0
  - ppx_sexp_conv.v0.17.0
  - ppx_yojson_conv.v0.17.0
  - ppx_yojson_conv_lib.v0.17.0
  - ppxlib.0.33.1~5.3preview
  - sexplib.v0.17.0
  - sexplib0.v0.17.0
  - stdio.v0.17.0
  - time_now.v0.17.0
  - vscoq-language-server.2.2.1
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.

but vscode indicate that it is still using 2.1.4:

[Toolchain] Searching for vscoqtop
[Toolchain] /home/peng/.opam/default/bin
[Toolchain] Found path: /home/peng/.opam/default/bin/vscoqtop
VsCoq initialised
[Versioning] Intialized server vscoq-language-server [2.1.4]

how did this happen?

[rtetley]

Do you have per chance have multiple switches installed ? Additionally did you set the path to vscoqtop manually ?

[tribbloid]

no, they are all from the same opam Ubuntu repo:

peng@pop-os:~$ vscoqtop --version
The Coq Proof Assistant, version 8.18.0
compiled with OCaml 4.13.1
peng@pop-os:~$ which vscoqtop
/home/peng/.opam/default/bin/vscoqtop

[rtetley]

Could you past the results of opam info vscoq-language-server ?