dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

z3_4_12: 4.12.2 -> 4.12.4

Browse Source
This commit is contained in:
Lucas Van Laer 2023-12-31 14:12:54 +01:00
parent 77e107f0d1
commit 696735c9d2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/z3/default.nix
View File

@ -89,8 +89,8 @@ let common = { version, sha256, patches ? [ ], tag ? "z3" }:
in in
{ {
z3_4_12 = common { z3_4_12 = common {
version = "4.12.2"; version = "4.12.4";
sha256 = "sha256-DTgpKEG/LtCGZDnicYvbxG//JMLv25VHn/NaF307JYA="; sha256 = "sha256-cxl7D47dRn+uMVOHbF0avj5+ZFWjaJ7lXj/8l6r9q2I=";
}; };
z3_4_11 = common { z3_4_11 = common {
version = "4.11.2"; version = "4.11.2";