diff options
| author | Yifei Sun <ysun@hey.com> | 2023-12-03 15:17:48 -0500 |
|---|---|---|
| committer | Yifei Sun <ysun@hey.com> | 2023-12-06 12:30:03 -0500 |
| commit | 3d0affa9c9c6e54759ca65c8f7f59af35877d1e8 (patch) | |
| tree | 81ea451614d0c48b2be429a136e5f2d4ca4d471b /pkgs/applications/science/logic | |
| parent | c2273e116f7651f0deda59f9ebd83063a66a62c0 (diff) | |
| download | nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.gz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.bz2 nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.lz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.xz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.zst nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.zip | |
python3Packages.z3-solver: rename from z3
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 6165cfe8bd22..26848e1397aa 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -24,7 +24,7 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }: inherit version sha256 patches; src = fetchFromGitHub { owner = "Z3Prover"; - repo = pname; + repo = "z3"; rev = "${tag}-${version}"; sha256 = sha256; }; |