diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index c1e75cadc83..3b0d0743dcd 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -26348,6 +26348,7 @@ in
     });
 
     java = openjdk11;
+    z3 = z3_4_4_0;
   };
 
   iprover = callPackage ../applications/science/logic/iprover { };