diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
index bd174babd549fa..e1e2c412d522ce 100644
--- a/pkgs/development/haskell-modules/configuration-common.nix
+++ b/pkgs/development/haskell-modules/configuration-common.nix
@@ -1137,6 +1137,21 @@ self: super: {
     '';
   }) super.cryptol;
 
+  # This package is deprecated, and uses an old z3 versionddi
+  inherit (
+    let
+      fixZ3 = z3: overrideCabal (drv: {
+        preBuild = drv.preBuild or "" + ''
+          # These constants were removed
+          export NIX_CFLAGS_COMPILE="-DZ3_bool=bool -DZ3_TRUE=true -DZ3_FALSE=false"
+        '';
+      }) z3;
+    in {
+      hz3 = fixZ3 super.hz3;
+      z3 = fixZ3 super.z3;
+    }
+  ) hz3 z3;
+
   # Tests try to invoke external process and process == 1.4
   grakn = dontCheck (doJailbreak super.grakn);