"No package named vscoq-language-server found."

[PaulMaynard]

When I attempt to install the language server using the instructions in the readme:

Installing the language server

After creating an opam switch, activate these repositories, pin Coq,
and install the vscoq-language-server package:

$ opam install vscoq-language-server

I recieve the error:

[ERROR] No package named vscoq-language-server found.

[slanterns]

#622
The package is still being submitted.

[rtetley]

We had a few issues in releasing the language server. See: ocaml/opam-repository#24452
We're working on fixing it ASAP.
On another note if you guys are using Coq 8.17 or lower, please refer to the instructions that were added to the README:
https://github.com/coq-community/vscoq#problems-with-vscoq-2
We're working on a patched release that will link to these in case of problems !
Sorry for the inconvenience ! :-(

[arnoudvanderleer]

It has now been merged, so we can proceed!