diff options
| author | Felix Buehler <account@buehler.rocks> | 2022-03-07 12:37:20 +0100 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2022-03-23 22:55:50 +0100 |
| commit | 3bc5196252074dd51f5062416337abf303a1a128 (patch) | |
| tree | 7cba753783bcbaa6644bc21e44e47ad451aea5e6 /pkgs/applications/science/logic/z3 | |
| parent | 5dbd4b2b27e24eaed6a79603875493b15b999d4b (diff) | |
treewide: rename name to pname&version
Diffstat (limited to 'pkgs/applications/science/logic/z3')
| -rw-r--r-- | pkgs/applications/science/logic/z3/4.4.0.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/z3/4.4.0.nix b/pkgs/applications/science/logic/z3/4.4.0.nix index 2fbaa0a28caf7..a3d6c16fb7df2 100644 --- a/pkgs/applications/science/logic/z3/4.4.0.nix +++ b/pkgs/applications/science/logic/z3/4.4.0.nix @@ -1,7 +1,7 @@ { lib, stdenv, fetchFromGitHub, python }: stdenv.mkDerivation rec { - name = "z3-${version}"; + pname = "z3"; version = "4.4.0"; src = fetchFromGitHub { |