From a996ee27d5d929758ae955db3b9e047bbb0b57e9 Mon Sep 17 00:00:00 2001
From: Moraxyc <i@qaq.li>
Date: Thu, 21 May 2026 11:29:17 +0800
Subject: [PATCH] python313Packages.coq-tools: fix build

---
 pkgs/development/python-modules/coq-tools/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/python-modules/coq-tools/default.nix b/pkgs/development/python-modules/coq-tools/default.nix
index e788bafafec3..561a832b2166 100644
--- a/pkgs/development/python-modules/coq-tools/default.nix
+++ b/pkgs/development/python-modules/coq-tools/default.nix
@@ -3,6 +3,7 @@
   buildPythonPackage,
   fetchPypi,
   setuptools,
+  subprocess4,
 }:
 
 buildPythonPackage rec {
@@ -18,6 +19,8 @@ buildPythonPackage rec {
 
   build-system = [ setuptools ];
 
+  dependencies = [ subprocess4 ];
+
   pythonImportsCheck = [ "coq_tools" ];
 
   meta = {