vscode-extensions.maximedenes.vscoq: 0.3.8 -> 2.2.5

2025-03-11 01:06:00 +00:00
parent 1b18c9c15f
commit 46d41ddbe5
1 changed files with 2 additions and 2 deletions
@@ -3198,8 +3198,8 @@ let
        mktplcRef = {
          publisher = "maximedenes";
          name = "vscoq";
-          version = "0.3.8";
-          hash = "sha256-0FX5KBsvUmI+JMGBnaI3kJmmD+Y6XFl7LRHU0ADbHos=";
+          version = "2.2.5";
+          hash = "sha256-ctaeTgdK1JijSI3YD54iWEBNVrbaad408wD43fH78h4=";
        };
        meta = {
          description = "VsCoq is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant";