From 28131135b0dae49556ddc0d03718352631c91fcd Mon Sep 17 00:00:00 2001
From: Wolfgang Meier <womeier@posteo.de>
Date: Tue, 27 May 2025 22:54:18 +0200
Subject: [PATCH 1/2] add myself to maintainers file

---
 maintainers/maintainer-list.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index 4e700fe1e9e3..5c284998b6bf 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -26711,6 +26711,12 @@
     githubId = 9132420;
     keys = [ { fingerprint = "F943 A0BC 720C 5BEF 73CD E02D B398 93FA 5F65 CAE1"; } ];
   };
+  womeier = {
+    name = "Wolfgang Meier";
+    email = "womeier@posteo.de";
+    github = "womeier";
+    githubId = 55190123;
+  };
   womfoo = {
     email = "kranium@gikos.net";
     github = "womfoo";

From 9e287e88e85887cd7c7dc3c4514d249171ae0838 Mon Sep 17 00:00:00 2001
From: Wolfgang Meier <womeier@posteo.de>
Date: Tue, 27 May 2025 22:42:23 +0200
Subject: [PATCH 2/2] initial coq package parseque version 0.2.2

---
 .../coq-modules/parseque/default.nix          | 37 +++++++++++++++++++
 pkgs/top-level/coq-packages.nix               |  1 +
 2 files changed, 38 insertions(+)
 create mode 100644 pkgs/development/coq-modules/parseque/default.nix

diff --git a/pkgs/development/coq-modules/parseque/default.nix b/pkgs/development/coq-modules/parseque/default.nix
new file mode 100644
index 000000000000..def3689a3911
--- /dev/null
+++ b/pkgs/development/coq-modules/parseque/default.nix
@@ -0,0 +1,37 @@
+{
+  lib,
+  mkCoqDerivation,
+  which,
+  coq,
+  version ? null,
+}:
+
+with lib;
+mkCoqDerivation {
+  pname = "parseque";
+  repo = "parseque";
+  owner = "rocq-community";
+
+  inherit version;
+  defaultVersion =
+    with versions;
+    switch
+      [ coq.coq-version ]
+      [
+        {
+          cases = [ (range "8.16" "8.20") ];
+          out = "0.2.2";
+        }
+      ]
+      null;
+
+  release."0.2.2".sha256 = "sha256-O50Rs7Yf1H4wgwb7ltRxW+7IF0b04zpfs+mR83rxT+E=";
+
+  releaseRev = v: "v${v}";
+
+  meta = {
+    description = "Total parser combinators in Rocq";
+    maintainers = with maintainers; [ womeier ];
+    license = licenses.mit;
+  };
+}
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index 81c9423e6b21..83cc3bde1585 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -187,6 +187,7 @@ let
       paco = callPackage ../development/coq-modules/paco { };
       paramcoq = callPackage ../development/coq-modules/paramcoq { };
       parsec = callPackage ../development/coq-modules/parsec { };
+      parseque = callPackage ../development/coq-modules/parseque { };
       pocklington = callPackage ../development/coq-modules/pocklington { };
       QuickChick = callPackage ../development/coq-modules/QuickChick { };
       reglang = callPackage ../development/coq-modules/reglang { };