pyrox.dev
z3: 4.15.2 -> 4.15.3 (#434248)
authored by Morgan Jones and committed by GitHub db79c8a1 34b66522
+2
-2
pkgs/by-name/z3/z3/package.nix
+2
-2
pkgs/by-name/z3/z3/package.nix
···
29
29
30
30
stdenv.mkDerivation (finalAttrs: {
31
31
pname = "z3";
32
-
version = "4.15.2";
32
+
version = "4.15.3";
33
33
34
34
src = fetchFromGitHub {
35
35
owner = "Z3Prover";
36
36
repo = "z3";
37
37
rev = "z3-${finalAttrs.version}";
38
-
hash = "sha256-hUGZdr0VPxZ0mEUpcck1AC0MpyZMjiMw/kK8WX7t0xU=";
38
+
hash = "sha256-Lw037Z0t0ySxkgMXkbjNW5CB4QQLRrrSEBsLJqiomZ4=";
39
39
};
40
40
41
41
patches = lib.optionals useCmakeBuild [