pyrox.dev
Merge pull request #139309 from Baltoli/bump-z3
+2
-2
pkgs/applications/science/logic/z3/default.nix
+2
-2
pkgs/applications/science/logic/z3/default.nix
···
19
19
20
20
stdenv.mkDerivation rec {
21
21
pname = "z3";
22
-
version = "4.8.10";
22
+
version = "4.8.12";
23
23
24
24
src = fetchFromGitHub {
25
25
owner = "Z3Prover";
26
26
repo = pname;
27
27
rev = "z3-${version}";
28
-
sha256 = "1w1ym2l0gipvjx322npw7lhclv8rslq58gnj0d9i96masi3gbycf";
28
+
sha256 = "1wbcdc7h3mag8infspvxxja2hiz4igjwxzvss2kqar1rjj4ivfx0";
29
29
};
30
30
31
31
nativeBuildInputs = optional stdenv.hostPlatform.isDarwin fixDarwinDylibNames;