cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Merge pull request #277917 from lucascool12/update-z3

Browse source 
z3_4_12: 4.12.2 -> 4.12.4
This commit is contained in:
Robert Scott 2023-12-31 17:21:05 +00:00 committed by GitHub
commit 34d3d09834
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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
{
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";