Merge pull request #586 from coq-community/bump-version-1.9.2

Bump version in preparation for release.
coq · Aug 22, 2023 · d3b14f0 · d3b14f0
2 parents 772acf0 + c8e61bf
commit d3b14f0
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/client/package.json b/client/package.json
@@ -4,7 +4,7 @@
   "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
   "publisher": "maximedenes",
   "license": "MIT",
-  "version": "1.9.1",
+  "version": "1.9.2",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"

diff --git a/flake.nix b/flake.nix
@@ -31,7 +31,7 @@
       ocamlPackages.buildDunePackage {
         duneVersion = "3";
         pname = "vscoq-language-server";
-        version = "1.9.1";
+        version = "1.9.2";
         src = ./language-server;
         buildInputs = [
           coq

diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
@@ -39,7 +39,7 @@ let conf_request_id = 3456736879
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"1.9.1"
+  ~version:"1.9.2"
   ()
 
 type lsp_event =