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 = {