Merge pull request #1239 from rocq-prover/release-2.4.2

Fix compatibility matrix and release 2.4.2

Author: gares

client/package.json

@@ -4,7 +4,7 @@
   "description": "VsRocq is an extension for Visual Studio Code with support for the Rocq Prover",
   "publisher": "rocq-prover",
   "license": "MIT",
-  "version": "2.4.1",
+  "version": "2.4.2",
   "repository": {
     "type": "git",
     "url": "https://github.com/rocq-prover/vsrocq.git"

client/src/utilities/versioning.ts

@@ -55,8 +55,9 @@ const versionRequirements : VersionReq = {
     '2.3.2': '2.3.0',
     '2.3.3': '2.3.3',
     '2.3.4': '2.3.3',
-    '2.4.0': '2.3.3',
-    '2.4.1': '2.3.3'
+    '2.4.0': '2.4.0',
+    '2.4.1': '2.4.0',
+    '2.4.2': '2.4.0'
 };
 
 //We will add version ranges as we start releasing

flake.nix

@@ -23,7 +23,7 @@
       vscodeExtPublisher = "rocq-prover";
       vscodeExtName = "vsrocq";
       vscodeExtUniqueId = "rocq-prover.vsrocq";
-      vsrocq_version = "2.4.1";
+      vsrocq_version = "2.4.2";
       rocq = (import nixpkgs {inherit system;}).rocq-core.override { version = rocq-master.outPath; };
     in rec {
       formatter = nixpkgs.legacyPackages.${system}.alejandra;

language-server/vsrocqtop/lspManager.ml

@@ -46,7 +46,7 @@ let conf_request_id = max_int
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vsrocq-language-server"
-  ~version:"2.4.1"
+  ~version:"2.4.2"
   ()
 
 type lsp_event =