tjh.dev
z3: 4.15.1 -> 4.15.2 (#420052)
authored by Weijia Wang and committed by GitHub 8a229a8d 95e4d169
+2
-2
pkgs/by-name/z3/z3/package.nix
+2
-2
pkgs/by-name/z3/z3/package.nix
···
29
30
stdenv.mkDerivation (finalAttrs: {
31
pname = "z3";
32
-
version = "4.15.1";
33
34
src = fetchFromGitHub {
35
owner = "Z3Prover";
36
repo = "z3";
37
rev = "z3-${finalAttrs.version}";
38
-
hash = "sha256-mzU21AlKjC5406lQXfBSz/AIwo/1FThqap5JgldkAgQ=";
39
};
40
41
patches = lib.optionals useCmakeBuild [
···
29
30
stdenv.mkDerivation (finalAttrs: {
31
pname = "z3";
32
+
version = "4.15.2";
33
34
src = fetchFromGitHub {
35
owner = "Z3Prover";
36
repo = "z3";
37
rev = "z3-${finalAttrs.version}";
38
+
hash = "sha256-hUGZdr0VPxZ0mEUpcck1AC0MpyZMjiMw/kK8WX7t0xU=";
39
};
40
41
patches = lib.optionals useCmakeBuild [