From 83fa4e3e72dd98e7f649a3d20ebb6c0c71b3b3f4 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 16 Jul 2026 09:51:27 +0200
Subject: [PATCH 1/3] ocamlPackages.grenier: init at 0.16

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

diff --git a/pkgs/development/ocaml-modules/grenier/default.nix b/pkgs/development/ocaml-modules/grenier/default.nix
new file mode 100644
index 000000000000..88f50619d7c6
--- /dev/null
+++ b/pkgs/development/ocaml-modules/grenier/default.nix
@@ -0,0 +1,22 @@
+{
+  lib,
+  fetchurl,
+  buildDunePackage,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "grenier";
+  version = "0.16";
+  src = fetchurl {
+    url = "https://github.com/let-def/grenier/releases/download/v${finalAttrs.version}/grenier-${finalAttrs.version}.tbz";
+    hash = "sha256-j9Iqv59FicIGAIZU+p7rsc9KWHN+uzQTjGcJUg82t18=";
+  };
+
+  doCheck = true;
+
+  meta = {
+    description = "A collection of various algorithms in OCaml";
+    license = lib.licenses.isc;
+    homepage = "https://github.com/let-def/grenier";
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 03cd672321f2..875be280bdef 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -796,6 +796,8 @@ let
 
         graphql_ppx = callPackage ../development/ocaml-modules/graphql_ppx { };
 
+        grenier = callPackage ../development/ocaml-modules/grenier { };
+
         gsl = callPackage ../development/ocaml-modules/gsl {
           inherit (pkgs) gsl;
         };

From 3c1e9970b90e041008a08f155899de6b858e6efa Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 16 Jul 2026 09:51:31 +0200
Subject: [PATCH 2/3] ocamlPackages.cmon: init at 0.2

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

diff --git a/pkgs/development/ocaml-modules/cmon/default.nix b/pkgs/development/ocaml-modules/cmon/default.nix
new file mode 100644
index 000000000000..3edc0bb5e226
--- /dev/null
+++ b/pkgs/development/ocaml-modules/cmon/default.nix
@@ -0,0 +1,30 @@
+{
+  lib,
+  fetchurl,
+  buildDunePackage,
+  grenier,
+  pprint,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "cmon";
+  version = "0.2";
+
+  src = fetchurl {
+    url = "https://github.com/let-def/cmon/releases/download/v${finalAttrs.version}/cmon-${finalAttrs.version}.tbz";
+    hash = "sha256-lJi5NV27YqyDgUx1i4vBj/buzyzdWJSrSceGGs82grg=";
+  };
+
+  propagatedBuildInputs = [
+    grenier
+    pprint
+  ];
+
+  doCheck = true;
+
+  meta = {
+    description = "A library for printing OCaml values with sharing";
+    license = lib.licenses.mit;
+    homepage = "https://github.com/let-def/cmon";
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 875be280bdef..fddce73cef99 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -271,6 +271,8 @@ let
 
         cmdliner_1 = cmdliner.override { version = "1.3.0"; };
 
+        cmon = callPackage ../development/ocaml-modules/cmon { };
+
         cohttp = callPackage ../development/ocaml-modules/cohttp { };
 
         cohttp_5_3 = cohttp.overrideAttrs (_: {

From 37e7405d97d295f5f67c1d1c957ccb7d4e202b1e Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 16 Jul 2026 09:51:34 +0200
Subject: [PATCH 3/3] ocamlPackages.lrgrep: init at 0.9

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

diff --git a/pkgs/development/ocaml-modules/lrgrep/default.nix b/pkgs/development/ocaml-modules/lrgrep/default.nix
new file mode 100644
index 000000000000..7a51a78d623f
--- /dev/null
+++ b/pkgs/development/ocaml-modules/lrgrep/default.nix
@@ -0,0 +1,37 @@
+{
+  lib,
+  fetchurl,
+  buildDunePackage,
+  menhir,
+  cmon,
+  menhirLib,
+  menhirSdk,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "lrgrep";
+  version = "0.9";
+
+  minimalOCamlVersion = "4.14";
+
+  src = fetchurl {
+    url = "https://github.com/let-def/lrgrep/releases/download/v${finalAttrs.version}/lrgrep-${finalAttrs.version}.tbz";
+    hash = "sha256-5T3hLkxcvmvKAGQ1kyZrT5+i4/ahOBle7/ekMp9cHHU=";
+  };
+
+  nativeBuildInputs = [ menhir ];
+
+  propagatedBuildInputs = [
+    cmon
+    menhirLib
+    menhirSdk
+  ];
+
+  doCheck = true;
+
+  meta = {
+    license = lib.licenses.isc;
+    description = "Detailed error messages for Menhir-generated parsers";
+    homepage = "https://github.com/let-def/lrgrep";
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index fddce73cef99..d2672bbeab33 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1161,6 +1161,8 @@ let
 
         lreplay = callPackage ../development/ocaml-modules/lreplay { };
 
+        lrgrep = callPackage ../development/ocaml-modules/lrgrep { };
+
         lru = callPackage ../development/ocaml-modules/lru { };
 
         lsp = callPackage ../development/ocaml-modules/ocaml-lsp/lsp.nix { };