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

(cherry picked from commit 0884eb6bab9e84d450a771abfb9a9e3366a80dda)
---
 .../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/";