From a4b372b5f81c1fe27989c086610475f15dfb7599 Mon Sep 17 00:00:00 2001
From: Moraxyc <i@qaq.li>
Date: Thu, 21 May 2026 11:28:00 +0800
Subject: [PATCH 1/4] python313Packages.subprocess4: init at 0.1.1

---
 .../python-modules/subprocess4/default.nix    | 39 +++++++++++++++++++
 pkgs/top-level/python-packages.nix            |  2 +
 2 files changed, 41 insertions(+)
 create mode 100644 pkgs/development/python-modules/subprocess4/default.nix

diff --git a/pkgs/development/python-modules/subprocess4/default.nix b/pkgs/development/python-modules/subprocess4/default.nix
new file mode 100644
index 000000000000..4c69d925c060
--- /dev/null
+++ b/pkgs/development/python-modules/subprocess4/default.nix
@@ -0,0 +1,39 @@
+{
+  lib,
+  buildPythonPackage,
+  fetchFromGitHub,
+  hatchling,
+  pytestCheckHook,
+}:
+
+buildPythonPackage (finalAttrs: {
+  pname = "subprocess4";
+  version = "0.1.1";
+  pyproject = true;
+
+  src = fetchFromGitHub {
+    owner = "JasonGross";
+    repo = "subprocess4";
+    tag = "v${finalAttrs.version}";
+    hash = "sha256-On0mUc5DLktlaVSK/7VcEKRG1dnmYHNRSe149BnoIAk=";
+  };
+
+  build-system = [
+    hatchling
+  ];
+
+  pythonImportsCheck = [
+    "subprocess4"
+  ];
+
+  nativeCheckInputs = [ pytestCheckHook ];
+
+  meta = {
+    description = "Python subprocess wrapper using os.wait4 to get resource usage";
+    homepage = "https://github.com/JasonGross/subprocess4";
+    changelog = "https://github.com/JasonGross/subprocess4/releases/tag/v${finalAttrs.version}";
+    license = lib.licenses.mit;
+    maintainers = with lib.maintainers; [ moraxyc ];
+    platforms = lib.platforms.unix; # require posix
+  };
+})
diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix
index 4e65749da218..a65ba0e7155b 100644
--- a/pkgs/top-level/python-packages.nix
+++ b/pkgs/top-level/python-packages.nix
@@ -19001,6 +19001,8 @@ self: super: with self; {
 
   subprocess-tee = callPackage ../development/python-modules/subprocess-tee { };
 
+  subprocess4 = callPackage ../development/python-modules/subprocess4 { };
+
   subunit = callPackage ../development/python-modules/subunit {
     inherit (pkgs) subunit cppunit check;
   };

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 2/4] 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 = {

From afa949fd3ba98571e3a5318fce778d54eee7cf75 Mon Sep 17 00:00:00 2001
From: Moraxyc <i@qaq.li>
Date: Thu, 21 May 2026 11:30:14 +0800
Subject: [PATCH 3/4] python313Packages.coq-tools: switch to finalAttrs

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

diff --git a/pkgs/development/python-modules/coq-tools/default.nix b/pkgs/development/python-modules/coq-tools/default.nix
index 561a832b2166..cdcb8fabde97 100644
--- a/pkgs/development/python-modules/coq-tools/default.nix
+++ b/pkgs/development/python-modules/coq-tools/default.nix
@@ -6,14 +6,14 @@
   subprocess4,
 }:
 
-buildPythonPackage rec {
+buildPythonPackage (finalAttrs: {
   pname = "coq-tools";
   version = "0.0.42";
   pyproject = true;
 
   src = fetchPypi {
     pname = "coq_tools";
-    inherit version;
+    inherit (finalAttrs) version;
     hash = "sha256-d+SAGmZKUQo2ZKuC91r/2RHDvi5GCIKGTxcuau1kN0U=";
   };
 
@@ -30,4 +30,4 @@ buildPythonPackage rec {
     maintainers = [ ];
     platforms = lib.platforms.all;
   };
-}
+})

From 0884eb6bab9e84d450a771abfb9a9e3366a80dda Mon Sep 17 00:00:00 2001
From: Moraxyc <i@qaq.li>
Date: Thu, 21 May 2026 11:33:56 +0800
Subject: [PATCH 4/4] python313Packages.coq-tools: 0.0.42 -> 0.0.44

---
 .../python-modules/coq-tools/default.nix         | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

diff --git a/pkgs/development/python-modules/coq-tools/default.nix b/pkgs/development/python-modules/coq-tools/default.nix
index cdcb8fabde97..b2e962f62743 100644
--- a/pkgs/development/python-modules/coq-tools/default.nix
+++ b/pkgs/development/python-modules/coq-tools/default.nix
@@ -1,20 +1,22 @@
 {
   lib,
   buildPythonPackage,
-  fetchPypi,
+  fetchFromGitHub,
   setuptools,
+  pytestCheckHook,
   subprocess4,
 }:
 
 buildPythonPackage (finalAttrs: {
   pname = "coq-tools";
-  version = "0.0.42";
+  version = "0.0.44";
   pyproject = true;
 
-  src = fetchPypi {
-    pname = "coq_tools";
-    inherit (finalAttrs) version;
-    hash = "sha256-d+SAGmZKUQo2ZKuC91r/2RHDvi5GCIKGTxcuau1kN0U=";
+  src = fetchFromGitHub {
+    owner = "JasonGross";
+    repo = "coq-tools";
+    tag = "v${finalAttrs.version}";
+    hash = "sha256-2WMxJkLGfMtXu4ZpIuS1wIXMvgJbCMy2eY8qz5+v9LI=";
   };
 
   build-system = [ setuptools ];
@@ -23,6 +25,8 @@ buildPythonPackage (finalAttrs: {
 
   pythonImportsCheck = [ "coq_tools" ];
 
+  nativeCheckInputs = [ pytestCheckHook ];
+
   meta = {
     description = "Tools for working with Coq proof assistant";
     homepage = "https://pypi.org/project/coq-tools/";