From 952d41bfdeb6788ff9f39fcb491f24d5edf6c286 Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Tue, 14 Oct 2025 09:02:38 +0200
Subject: [PATCH] ocamlPackages.opam-solver: init at 2.4.1

---
 .../ocaml-modules/opam-solver/default.nix     | 35 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 ++
 2 files changed, 37 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/opam-solver/default.nix

diff --git a/pkgs/development/ocaml-modules/opam-solver/default.nix b/pkgs/development/ocaml-modules/opam-solver/default.nix
new file mode 100644
index 000000000000..8dd328cda640
--- /dev/null
+++ b/pkgs/development/ocaml-modules/opam-solver/default.nix
@@ -0,0 +1,35 @@
+{
+  lib,
+  buildDunePackage,
+  cudf,
+  dose3,
+  mccs,
+  opam,
+  opam-0install-cudf,
+  opam-format,
+  re,
+  z3,
+}:
+
+buildDunePackage {
+  pname = "opam-solver";
+
+  inherit (opam) src version;
+
+  configureFlags = [ "--disable-checks" ];
+
+  propagatedBuildInputs = [
+    cudf
+    dose3
+    mccs
+    opam-0install-cudf
+    opam-format
+    re
+    z3
+  ];
+
+  meta = opam.meta // {
+    description = "This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam";
+    maintainers = with lib.maintainers; [ stepbrobd ];
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 8b5f4d3ca9eb..37c82b78f2fc 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1586,6 +1586,8 @@ let
 
         opam-repository = callPackage ../development/ocaml-modules/opam-repository { };
 
+        opam-solver = callPackage ../development/ocaml-modules/opam-solver { };
+
         opam-state = callPackage ../development/ocaml-modules/opam-state { };
 
         opium = callPackage ../development/ocaml-modules/opium { };