From e4e639ce69edb79733569c3059c575baf488386e Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 27 Feb 2026 07:34:38 +0100
Subject: [PATCH] ocamlPackages.lambdapi: compatibility with cmdliner 2

---
 pkgs/development/ocaml-modules/lambdapi/default.nix | 9 +++++++++
 pkgs/top-level/ocaml-packages.nix                   | 1 -
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/ocaml-modules/lambdapi/default.nix b/pkgs/development/ocaml-modules/lambdapi/default.nix
index c567bda1f8ab..0ec480007239 100644
--- a/pkgs/development/ocaml-modules/lambdapi/default.nix
+++ b/pkgs/development/ocaml-modules/lambdapi/default.nix
@@ -1,6 +1,7 @@
 {
   lib,
   fetchurl,
+  fetchpatch,
   buildDunePackage,
   alcotest,
   dedukti,
@@ -28,6 +29,14 @@ buildDunePackage rec {
     hash = "sha256-EGau0mGP2OakAMUUfb9V6pd86NP+LlGKxnhcZ3WhuL4=";
   };
 
+  patches = [
+    # Compatibility with cmdliner ≥ 2
+    (fetchpatch {
+      url = "https://github.com/Deducteam/lambdapi/commit/8e27c0f668915fbd49e32bdac246d6d515a64dd0.patch";
+      hash = "sha256-9CkvH1o81T9LP+IPogKGhoiIDP76/nRfq59ttU7r0fI=";
+    })
+  ];
+
   nativeBuildInputs = [
     dream
     menhir
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 04d368e4c4c4..ada87acabdb9 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1076,7 +1076,6 @@ let
         lambda-term = callPackage ../development/ocaml-modules/lambda-term { };
 
         lambdapi = callPackage ../development/ocaml-modules/lambdapi {
-          cmdliner = cmdliner_1;
           why3 = pkgs.why3.override { ocamlPackages = self; };
         };