diff --git a/client/package.json b/client/package.json index 39a44a0fa..5eab0f09c 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": "2.1.0", + "version": "2.1.1", "repository": { "type": "git", "url": "https://github.com/coq-community/vscoq.git" diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts index 771ff5883..f098f2379 100644 --- a/client/src/utilities/versioning.ts +++ b/client/src/utilities/versioning.ts @@ -33,7 +33,8 @@ const versionRequirements : VersionReq = { '2.0.1': '2.0.0', '2.0.2': '2.0.0', '2.0.3': '2.0.3', - '2.1.0': '2.0.3' + '2.1.0': '2.0.3', + '2.1.1': '2.1.1' }; //We will add version ranges as we start releasing diff --git a/flake.nix b/flake.nix index 0bc034ba8..e4dc75533 100644 --- a/flake.nix +++ b/flake.nix @@ -13,7 +13,7 @@ outputs = { self, nixpkgs, flake-utils, coq-master }: flake-utils.lib.eachDefaultSystem (system: - let vscoq_version = "2.1.0"; in + let vscoq_version = "2.1.1"; in let coq = coq-master.defaultPackage.${system}; in rec { diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml index c25dd1760..d55c9e00c 100644 --- a/language-server/vscoqtop/lspManager.ml +++ b/language-server/vscoqtop/lspManager.ml @@ -44,7 +44,7 @@ let conf_request_id = max_int let server_info = InitializeResult.create_serverInfo ~name:"vscoq-language-server" - ~version:"2.1.0" + ~version:"2.1.1" () type lsp_event =