From d520389055d330d2c0fa0d83ae7ac9f067e13e35 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Mon, 9 Feb 2026 14:22:47 +0100
Subject: [PATCH] ocamlPackages.ocplib-simplex: add 0.4

---
 .../ocaml-modules/ocplib-simplex/0_4.nix      | 41 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 +
 2 files changed, 43 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/ocplib-simplex/0_4.nix

diff --git a/pkgs/development/ocaml-modules/ocplib-simplex/0_4.nix b/pkgs/development/ocaml-modules/ocplib-simplex/0_4.nix
new file mode 100644
index 000000000000..12bd700b601b
--- /dev/null
+++ b/pkgs/development/ocaml-modules/ocplib-simplex/0_4.nix
@@ -0,0 +1,41 @@
+{
+  lib,
+  fetchFromGitHub,
+  stdenv,
+  autoreconfHook,
+  ocaml,
+  findlib,
+}:
+
+stdenv.mkDerivation (finalAttrs: {
+  pname = "ocplib-simplex";
+  version = "0.4.1";
+
+  src = fetchFromGitHub {
+    owner = "OCamlPro";
+    repo = finalAttrs.pname;
+    rev = "v${finalAttrs.version}";
+    hash = "sha256-bhlTBpJg031x2lUjwuVrhQgOGmDLW/+0naN8wRjv6i4=";
+  };
+
+  nativeBuildInputs = [
+    autoreconfHook
+    ocaml
+    findlib
+  ];
+
+  preInstall = ''
+    mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/
+  '';
+
+  postInstall = ''
+    mv $out/lib/${finalAttrs.pname} $out/lib/ocaml/${ocaml.version}/site-lib
+  '';
+
+  meta = {
+    description = "OCaml library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities";
+    homepage = "https://github.com/OCamlPro/ocplib-simplex";
+    license = lib.licenses.lgpl21Only;
+    maintainers = with lib.maintainers; [ redianthus ];
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 711c52f3d305..4552fa7b837d 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1563,6 +1563,8 @@ let
 
         ocplib-simplex = callPackage ../development/ocaml-modules/ocplib-simplex { };
 
+        ocplib-simplex_0_4 = callPackage ../development/ocaml-modules/ocplib-simplex/0_4.nix { };
+
         ocsigen-ppx-rpc = callPackage ../development/ocaml-modules/ocsigen-ppx-rpc { };
 
         ocsigen_server = callPackage ../development/ocaml-modules/ocsigen-server { };