coqPackages.coq-lsp: 0.2.3 → 0.2.4 (#445484)

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;

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";
         }
       ]