Unverified Commit 8ab0c461 authored by numinit's avatar numinit Committed by GitHub
Browse files

z3: 4.15.3 -> 4.15.4 (#460356)

parents 85290d2e 1074781d

pkgs/by-name/z3/z3/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -28,13 +28,13 @@ assert 


stdenv.mkDerivation (finalAttrs: {

  pname = "z3";

  version = "4.15.3";

  version = "4.15.4";



  src = fetchFromGitHub {

    owner = "Z3Prover";

    repo = "z3";

    rev = "z3-${finalAttrs.version}";

    hash = "sha256-Lw037Z0t0ySxkgMXkbjNW5CB4QQLRrrSEBsLJqiomZ4=";

    hash = "sha256-eyF3ELv81xEgh9Km0Ehwos87e4VJ82cfsp53RCAtuTo=";

  };



  patches = lib.optionals useCmakeBuild [