From 66aded5389aa9c8e951f21f662832e9009d3884a Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 23 Sep 2025 11:47:19 +0200
Subject: [PATCH 1/2] rocqPackages.parseque: enable for Rocq 9.1

---
 pkgs/development/rocq-modules/parseque/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/rocq-modules/parseque/default.nix b/pkgs/development/rocq-modules/parseque/default.nix
index a61c00cb485b..048d5a676530 100644
--- a/pkgs/development/rocq-modules/parseque/default.nix
+++ b/pkgs/development/rocq-modules/parseque/default.nix
@@ -19,7 +19,7 @@ mkRocqDerivation {
       [ rocq-core.rocq-version ]
       [
         {
-          cases = [ (range "9.0" "9.0") ];
+          cases = [ (range "9.0" "9.1") ];
           out = "0.3.0";
         }
       ]

From df493310e8864a03c31f5b7a9fcf53ec32c6028d Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 23 Sep 2025 11:58:58 +0200
Subject: [PATCH 2/2] =?UTF-8?q?coqPackages.coq-lsp:=200.2.3=20=E2=86=92=20?=
 =?UTF-8?q?0.2.4?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../coq-modules/coq-lsp/default.nix           | 23 ++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/coq-modules/coq-lsp/default.nix b/pkgs/development/coq-modules/coq-lsp/default.nix
index d5b4a0e90c0b..fec105b3d5c5 100644
--- a/pkgs/development/coq-modules/coq-lsp/default.nix
+++ b/pkgs/development/coq-modules/coq-lsp/default.nix
@@ -20,6 +20,9 @@
   release."0.2.3+8.19".sha256 = "sha256-0eQQheY2yjS7shifhUlVPLXvTmyvgNpx7deLWXBRTfA=";
   release."0.2.3+8.20".sha256 = "sha256-TUVS8jkgf1MMOOx5y70OaeZkdIgdgmyGQ2/zKxeplEk=";
   release."0.2.3+9.0".sha256 = "sha256-eZMM4gYRXQroEIKz6XlffyHNYryEF5dIeIoVbEulh6M=";
+  release."0.2.4+8.20".sha256 = "sha256-mQxh2/Cb5hZ99TtqWYLpZ/BRPrm5GRDYPDfKlCTK9N4=";
+  release."0.2.4+9.0".sha256 = "sha256-ICPdNxJODNqmUErdTkNk7s52MRuINWLbAPm0rmXFW18=";
+  release."0.2.4+9.1".sha256 = "sha256-HNHA2vbX70oZkd4QtbP28UbTRXatqxJdxw1OWDVDE8U=";
 
   inherit version;
   defaultVersion =
@@ -43,11 +46,15 @@
       }
       {
         case = isEq "8.20";
-        out = "0.2.3+8.20";
+        out = "0.2.4+8.20";
       }
       {
         case = isEq "9.0";
-        out = "0.2.3+9.0";
+        out = "0.2.4+9.0";
+      }
+      {
+        case = isEq "9.1";
+        out = "0.2.4+9.1";
       }
     ] null;
 
@@ -86,7 +93,7 @@
               camlp-streams
               serapi
             ]
-          else
+          else if o.version != null && lib.versions.isLe "0.2.3" o.version && o.version != "dev" then
             [
               cmdliner
               ppx_deriving
@@ -97,6 +104,16 @@
               ppx_hash
               sexplib
             ]
+          else
+            [
+              cmdliner
+              ppx_deriving_yojson
+              ppx_hash
+              ppx_import
+              ppx_sexp_conv
+              sexplib
+              tyxml
+            ]
         );
 
       patches = lib.optional (lib.versions.isEq "0.1.8" o.version) ./coq-loader.patch;