diff options
author | OTABI Tomoya <tomoya.otabi@gmail.com> | 2023-12-10 12:28:16 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-10 12:28:16 +0900 |
commit | b9cb1d8d5f87cbd4c9316ca5a513d107fb6ea593 (patch) | |
tree | ef47a2084b28e18a4a49206531597713e9740caf /pkgs/development/interpreters | |
parent | 8c1c65650e7fc2773ce081fa2504774ddc9fbe10 (diff) | |
parent | 3d0affa9c9c6e54759ca65c8f7f59af35877d1e8 (diff) |
Merge pull request #271924 from stepbrobd/z3-solver
python3Packages.z3-solver: rename from z3
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index 9953eaa3144c1..bf37d19cd8c4d 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -50,7 +50,7 @@ in stdenv.mkDerivation rec { which perl hostname # Some of the books require one or more of these external tools: glucose minisat abc-verifier libipasir - z3 (python3.withPackages (ps: [ ps.z3 ])) + z3 (python3.withPackages (ps: [ ps.z3-solver ])) ]; # NOTE: Parallel building can be memory-intensive depending on the number of |