nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-21 16:11:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

python313Packages.coq-tools: 0.0.42 -> 0.0.44

Browse Source 
(cherry picked from commit 0884eb6bab)
This commit is contained in:
Moraxyc
2026-05-21 11:33:56 +08:00
committed by github-actions[bot]
parent efae21db94
commit 3ed77f6be2
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/development/python-modules/coq-tools/default.nix
View File

@@ -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/";