From 505e376bed4256c945858ae2cec4dfff04c31abf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= 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 =