diff options
| author | Thomas Tuegel <ttuegel@mailbox.org> | 2023-04-17 10:03:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 10:03:07 -0500 |
| commit | ccf7156d8df108796453231f35b7023a514cda9f (patch) | |
| tree | 617aec47c51f3ff100454f55032f4ce26fe48eb8 /pkgs/applications/science/logic/z3 | |
| parent | 061715af6da2a938dab3b645c33c3fa2415ca9d6 (diff) | |
| parent | 0351445e249c0453efd6450e5f0fa3b3583e9d24 (diff) | |
Merge pull request #217974 from pxrl/pxrl/z3
z3: 4.8.15 -> 4.8.17
Diffstat (limited to 'pkgs/applications/science/logic/z3')
| -rw-r--r-- | pkgs/applications/science/logic/z3/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index f810a5a56739a..e2842d9d15a4f 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -92,8 +92,8 @@ in sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk="; }; z3_4_8 = common { - version = "4.8.15"; - sha256 = "0xkwqz0y5d1lfb6kfqy8wn8n2dqalzf4c8ghmjsajc1bpdl70yc5"; + version = "4.8.17"; + sha256 = "sha256-BSwjgOU9EgCcm18Zx0P9mnoPc9ZeYsJwEu0ffnACa+8="; }; z3_4_8_5 = common { tag = "Z3"; |