From c8e61bfe8fc533057a9291e3c5a00fcf531f1bf4 Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Tue, 22 Aug 2023 15:02:55 +0200 Subject: [PATCH] Bump version in preparation for release. --- client/package.json | 2 +- flake.nix | 2 +- language-server/vscoqtop/lspManager.ml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/client/package.json b/client/package.json index 21adfbb63..72620ec72 100644 --- 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 index 68024ccf7..83b975a4a 100644 --- 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 index ffcc79575..28e40b050 100644 --- 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 =