Unverified Commit 757c2c15 authored by Arne Keller's avatar Arne Keller Committed by GitHub
Browse files

z3_4_14: init at 4.14.1 (#390569)

parents ac30ae4e 60d98a51

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
@@ -17062,6 +17062,7 @@ with pkgs; 
  };















  inherit (callPackages ../applications/science/logic/z3 { python = python3; })













    z3_4_14















    z3_4_13















    z3_4_12















    z3_4_11