From 9e2a4188c4b03a5a7210d0c4f06a20ec93301d6b Mon Sep 17 00:00:00 2001
From: Ben Siraphob <bensiraphob@gmail.com>
Date: Wed, 7 Jan 2026 04:18:23 -0800
Subject: [PATCH] python3Packages.coq-tools: remove siraben from maintainers

---
 pkgs/development/python-modules/coq-tools/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/python-modules/coq-tools/default.nix b/pkgs/development/python-modules/coq-tools/default.nix
index 07a05d2a02d9..d9137343e773 100644
--- a/pkgs/development/python-modules/coq-tools/default.nix
+++ b/pkgs/development/python-modules/coq-tools/default.nix
@@ -24,7 +24,7 @@ buildPythonPackage rec {
     description = "Tools for working with Coq proof assistant";
     homepage = "https://pypi.org/project/coq-tools/";
     license = lib.licenses.mit;
-    maintainers = with lib.maintainers; [ siraben ];
+    maintainers = [ ];
     platforms = lib.platforms.all;
   };
 }