diff options
| author | Lucas Van Laer <lucas.van.laer@gmail.com> | 2023-12-31 14:12:54 +0100 |
|---|---|---|
| committer | Lucas Van Laer <lucas.van.laer@gmail.com> | 2023-12-31 14:12:54 +0100 |
| commit | 696735c9d2813ef5db71e110061646603733b4e1 (patch) | |
| tree | 3fbf16f0fa0ab65117c9bbe42c901eb4f8837344 /pkgs/applications/science/logic/z3 | |
| parent | 77e107f0d1cd9e15f5b8a703a2d4a57c921edcac (diff) | |
z3_4_12: 4.12.2 -> 4.12.4
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 26848e1397aa4..9ede6a922da62 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -89,8 +89,8 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }: in { z3_4_12 = common { - version = "4.12.2"; - sha256 = "sha256-DTgpKEG/LtCGZDnicYvbxG//JMLv25VHn/NaF307JYA="; + version = "4.12.4"; + sha256 = "sha256-cxl7D47dRn+uMVOHbF0avj5+ZFWjaJ7lXj/8l6r9q2I="; }; z3_4_11 = common { version = "4.11.2"; |