From 0495dc0ff638c6ebf77bc79f28e9a9381c9fd104 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Wed, 12 Jun 2024 15:46:51 +0200
Subject: [PATCH] Bump version for release

---
 client/package.json                    | 2 +-
 client/src/utilities/versioning.ts     | 1 +
 flake.nix                              | 2 +-
 language-server/vscoqtop/lspManager.ml | 2 +-
 4 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/client/package.json b/client/package.json
index 66f1f1c4b..5381ec8f2 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.2",
+  "version": "2.1.3",
   "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 795f2f2ce..960fb52ad 100644
--- a/client/src/utilities/versioning.ts
+++ b/client/src/utilities/versioning.ts
@@ -36,6 +36,7 @@ const versionRequirements : VersionReq = {
     '2.1.0': '2.0.3',
     '2.1.1': '2.1.1',
     '2.1.2': '2.1.2',
+    '2.1.3': '2.1.3',
 };
 
 //We will add version ranges as we start releasing
diff --git a/flake.nix b/flake.nix
index 8d275e680..d5ac3ca40 100644
--- a/flake.nix
+++ b/flake.nix
@@ -20,7 +20,7 @@
       vscodeExtPublisher = "maximedenes";
       vscodeExtName = "vscoq";
       vscodeExtUniqueId = "maximedenes.vscoq";
-      vscoq_version = "2.1.2";
+      vscoq_version = "2.1.3";
       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
index 2fe6f7d58..45884c249 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.2"
+  ~version:"2.1.3"
   ()
 
 type lsp_event =