vscode-extensions.rocq-prover.vsrocq: 2.3.4 -> 2.4.3

2026-05-30 14:52:42 +03:00
parent 0603359060
commit ae82c67a8e
1 changed files with 2 additions and 2 deletions
@@ -3967,8 +3967,8 @@ let
          publisher = "rocq-prover";
          name = "vsrocq";
          # When updating the version here, also update the language server vsrocq-language-server
-          version = "2.3.4";
-          hash = "sha256-2zYoCUtyhboQt68UJEmWOvrTrIOV2QmpaXU5mUhJfsA=";
+          version = "2.4.3";
+          hash = "sha256-o9rsSDCDYRWZQBMDA7DtWay50tBI76kw7H7CivrZpKo=";
        };
        meta = {
          description = "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover";