python313Packages.coq-tools: fix build

2026-05-21 11:44:15 +08:00
parent a4b372b5f8
commit a996ee27d5
1 changed files with 3 additions and 0 deletions
@@ -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 = {