Unverified Commit 3f9b0f53 authored by Robert Scott's avatar Robert Scott Committed by GitHub
Browse files

Merge pull request #188650 from movingco/add-z3-411 

z3: add 4.11
parents d8975734 b6e861e4

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

+4 −0
Original line number Diff line number Diff line
@@ -84,6 +84,10 @@ let common = { version, sha256, patches ? [ ] }: 
  };

in

{

  z3_4_11 = common {

    version = "4.11.0";

    sha256 = "sha256-ItmtZHDhCeLAVtN7K80dqyAh20o7TM4xk2sTb9QgHvk=";

  };

  z3_4_8 = common {

    version = "4.8.15";

    sha256 = "0xkwqz0y5d1lfb6kfqy8wn8n2dqalzf4c8ghmjsajc1bpdl70yc5";

pkgs/top-level/all-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -34700,6 +34700,7 @@ with pkgs; 




























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













    z3_4_11















    z3_4_8















    z3_4_7;















  z3 = z3_4_8;