As many of you have probably noticed, the 2.0.0 release broke a lot of your VsCoq set-ups.
- Switching to full release mode means that for most of you VsCoq automatically updated to 2.0.0. This is a problem because VsCoq 2 only supports Coq 8.18
- On top of that the opam release of our language server did not go as planned (Package vscoq-language-server.2.0.0+coq8.18 by vscoqbot · Pull Request #24452 · ocaml/opam-repository · GitHub). This also meant that there was no reasonable way for a user with Coq 8.18 to install the latest version of the language server required for running the extension.
Unfortunately there seems to be no obvious way to roll back an extension or change 2.0.0 to pre-release mode. Therefore:
- We are releasing this patched version 2.0.1 which displays an error message linking to instructions on how to downgrade the extension to 0.3.9 for users of Coq 8.17 and lower
- We are working on getting the PR merged asap to release v2.0.0 of the language server
Note that this patch release will still arrive on the market place before the corresponding opam PR is merged. We will work on changing the roll-out process later, we felt that having a more informative error message was the highest priority.
We apologise for the inconvenience ! And for reference I will link the instructions on how to downgrade VsCoq here.
Romain for the VsCoq team