The version Error on Vscode

[lll123github]

Hello! When I installed VsCoq according to the Readme, I would download the version of 2.1.4, while the extension VsCoq of vscode need 2.2.5.
I resolved the problem with opam install vscoq-language-server.2.2.5, but it actually confused me for a while.
For I have solved this problem I can't get the screenshot. The mention of the wrong version message is in the pop-up notification at the right bottom side of the vscode.
My operation system's version is LinuxMint 21.3 based on Ubuntu 22.04.
If the error can not be reproduced, maybe this is caused by my sources or network environment, and this issue can be closed.

[rtetley]

Hi ! I'm not sure I understand the error ? Are you saying typing opam install vscoq-language-server installed version 2.1.4 ?

The error message you are mentioning is normal, it's to let the user know that they need to update the language server if need be (if the extension version they have is not compatible with the server version they have).

[TheoWinterhalter]

Maybe the issue is with this part of the README? https://github.com/coq/vscoq?tab=readme-ov-file#pre-release-versions
It gives 2.1.5 as an example of pre-release, and thus you could infer 2.1.4 as the latest stable release?