Unverified Commit 60d98a51 authored by Morgan Jones's avatar Morgan Jones
Browse files

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
parent 49413d86

pkgs/applications/science/logic/z3/default.nix

+4 −0
Original line number Diff line number Diff line
@@ -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=";

pkgs/top-level/all-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -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