Merge pull request #855 from coq-community/bump-version

Bump version for release
coq · Aug 6, 2024 · 0b17857 · 0b17857
2 parents 996bbf6 + a4bd783
commit 0b17857
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 4 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": "2.1.6",
+  "version": "2.1.7",
   "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
@@ -38,7 +38,8 @@ const versionRequirements : VersionReq = {
     '2.1.2': '2.1.2',
     '2.1.3': '2.1.3',
     '2.1.5': '2.1.5',
-    '2.1.6': '2.1.5'
+    '2.1.6': '2.1.5',
+    '2.1.7': '2.1.7'
 };
 
 //We will add version ranges as we start releasing

diff --git a/flake.nix b/flake.nix
@@ -20,7 +20,7 @@
       vscodeExtPublisher = "maximedenes";
       vscodeExtName = "vscoq";
       vscodeExtUniqueId = "maximedenes.vscoq";
-      vscoq_version = "2.1.6";
+      vscoq_version = "2.1.7";
       coq = coq-master.packages.${system};
     in rec {
       formatter = nixpkgs.legacyPackages.${system}.alejandra;

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