From 60d98a51638fef1419a0df7a5e2728925dc32d28 Mon Sep 17 00:00:00 2001 From: Morgan Jones Date: Sun, 16 Mar 2025 21:36:26 -0700 Subject: [PATCH] z3_4_14: init at 4.14.1 Don't change the default version of z3 just yet: https://github.com/NixOS/nixpkgs/pull/390569#issuecomment-2728272563 --- pkgs/applications/science/logic/z3/default.nix | 4 ++++ pkgs/top-level/all-packages.nix | 1 + 2 files changed, 5 insertions(+) diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix index 20be36ebda6c..2152f68fe270 100644 --- a/pkgs/applications/science/logic/z3/default.nix +++ b/pkgs/applications/science/logic/z3/default.nix @@ -153,6 +153,10 @@ let fixupPatches = dir: map (patch: replaceVars patch { inherit dir; }); in { + z3_4_14 = common { + version = "4.14.1"; + sha256 = "sha256-pTsDzf6Frk4mYAgF81wlR5Kb1x56joFggO5Fa3G2s70="; + }; z3_4_13 = common { version = "4.13.4"; sha256 = "sha256-8hWXCr6IuNVKkOegEmWooo5jkdmln9nU7wI8T882BSE="; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 16fd58b44885..0db22a46d17f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17065,6 +17065,7 @@ with pkgs; }; inherit (callPackages ../applications/science/logic/z3 { python = python3; }) + z3_4_14 z3_4_13 z3_4_12 z3_4_11