From 505e376bed4256c945858ae2cec4dfff04c31abf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <maxime.denes@inria.fr>
Date: Fri, 4 Aug 2023 18:27:33 +0200
Subject: [PATCH] Rename beta version to 1.9.0

The vscode marketplace does not support -betaX suffixes, so we have to
use a regular version number to denote the beta release series.
---
 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 dad18d43..ecd32103 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.0.0-beta1",
+  "version": "1.9.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"
diff --git a/flake.nix b/flake.nix
index 7d613cae..db35e07b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -25,7 +25,7 @@
       ocamlPackages.buildDunePackage {
         duneVersion = "3";
         pname = "vscoq-language-server";
-        version = "2.0.0-beta1";
+        version = "1.9.0";
         src = ./language-server;
         buildInputs = [
           coq
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
index ecef8d6e..4c27e877 100644
--- a/language-server/vscoqtop/lspManager.ml
+++ b/language-server/vscoqtop/lspManager.ml
@@ -38,7 +38,7 @@ let conf_request_id = 3456736879
 
 let server_info = ServerInfo.{
   name = "vscoq-language-server";
-  version = "2.0.0";
+  version = "1.9.0";
 } 
 
 type lsp_event =