Merge pull request #1051 from coq/bump-version

release: bump version

Author: rtetley

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.2.4",
+  "version": "2.2.5",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"

client/src/utilities/versioning.ts

@@ -50,7 +50,8 @@ const versionRequirements : VersionReq = {
     '2.2.1': '2.2.1',
     '2.2.2': '2.2.2',
     '2.2.3': '2.2.2',
-    '2.2.4': '2.2.4'
+    '2.2.4': '2.2.4',
+    '2.2.5': '2.2.5'
 };
 
 //We will add version ranges as we start releasing

flake.nix

@@ -21,7 +21,7 @@
       vscodeExtPublisher = "maximedenes";
       vscodeExtName = "vscoq";
       vscodeExtUniqueId = "maximedenes.vscoq";
-      vscoq_version = "2.2.4";
+      vscoq_version = "2.2.5";
       rocq = rocq-master.packages.${system};
     in rec {
       formatter = nixpkgs.legacyPackages.${system}.alejandra;

language-server/vscoqtop/lspManager.ml

@@ -52,7 +52,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"2.2.4"
+  ~version:"2.2.5"
   ()
 
 type lsp_event =