nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 16:03:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

z3_4_12: 4.12.4 -> 4.12.5

Browse Source 
Diff: https://github.com/Z3Prover/z3/compare/z3-4.12.4...z3-4.12.5

Changelog: https://github.com/Z3Prover/z3/releases/tag/z3-4.12.5
This commit is contained in:
Mario Rodas 2024-01-30 04:20:00 +00:00
parent 64888ffe7c
commit 4fadc26e4a
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.4"; version = "4.12.5";
sha256 = "sha256-cxl7D47dRn+uMVOHbF0avj5+ZFWjaJ7lXj/8l6r9q2I="; sha256 = "sha256-Qj9w5s02OSMQ2qA7HG7xNqQGaUacA1d4zbOHynq5k+A=";
}; };
z3_4_11 = common { z3_4_11 = common {
version = "4.11.2"; version = "4.11.2";