[VsCoq 2] Patch Release 2.0.1

Hi everyone,

As many of you have probably noticed, the 2.0.0 release broke a lot of your VsCoq set-ups.

What happened

What we are doing

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

1 Like