nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

python313Packages.coq-tools: switch to finalAttrs

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

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

@@ -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;
};
}
})