From 6a1123122559fadd436d50e238225ce950672b9a Mon Sep 17 00:00:00 2001
From: redianthus <l@ndrs.fr>
Date: Wed, 17 Dec 2025 11:39:15 +0100
Subject: [PATCH] ocamlPackages.lreplay: init at 0.1.1

---
 .../ocaml-modules/lreplay/default.nix         | 30 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 ++
 2 files changed, 32 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/lreplay/default.nix

diff --git a/pkgs/development/ocaml-modules/lreplay/default.nix b/pkgs/development/ocaml-modules/lreplay/default.nix
new file mode 100644
index 000000000000..b7d3786365ec
--- /dev/null
+++ b/pkgs/development/ocaml-modules/lreplay/default.nix
@@ -0,0 +1,30 @@
+{
+  lib,
+  buildDunePackage,
+  dune-site,
+  fetchzip,
+  frama-c,
+  menhir,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "lreplay";
+  version = "0.1.1";
+
+  src = fetchzip {
+    url = "https://git.frama-c.com/pub/ltest/lreplay/-/archive/${finalAttrs.version}/lreplay-${finalAttrs.version}.tar.bz2";
+    hash = "sha256-FSICl9x/uL4hMVFz5Ef7NYKATZDdtYY9DRU0AZKSDD8=";
+  };
+
+  nativeBuildInputs = [
+    menhir
+  ];
+
+  meta = {
+    description = "Lreplay plugin of Frama-C, part of the LTest suite";
+    homepage = "https://frama-c.com/fc-plugins/ltest.html";
+    license = lib.licenses.lgpl2;
+    maintainers = with lib.maintainers; [ redianthus ];
+    mainProgram = "lreplay";
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 5bcdeeae5423..db0116e80d75 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1093,6 +1093,8 @@ let
 
         logs-syslog = callPackage ../development/ocaml-modules/logs-syslog { };
 
+        lreplay = callPackage ../development/ocaml-modules/lreplay { };
+
         lru = callPackage ../development/ocaml-modules/lru { };
 
         lsp = callPackage ../development/ocaml-modules/ocaml-lsp/lsp.nix { };