z3: default to 4.8 for nixpkgs 24.11

NixOS · Jan 18, 2025 · f8cca0c · f8cca0c
1 parent 9d3103a
commit f8cca0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
@@ -17921,7 +17921,7 @@ with pkgs;
     z3_4_11
     z3_4_8
     z3_4_8_5;
-  z3 = z3_4_13;
+  z3 = z3_4_8;
   z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix { };
 
   tlaplus = callPackage ../applications/science/logic/tlaplus {