diff --git a/default.nix b/default.nix
index 53ac8b333b7..a812ed096ac 100644
--- a/default.nix
+++ b/default.nix
@@ -509,7 +509,7 @@ rec {
       run-deser  = test_subdir "run-deser"  [ deser ];
       perf       = perf_subdir "perf"       [ moc nixpkgs.drun ];
       bench      = perf_subdir "bench"      [ moc nixpkgs.drun ic-wasm ];
-      viper      = test_subdir "viper"      [ moc nixpkgs.which nixpkgs.openjdk nixpkgs.z3 ];
+      viper      = test_subdir "viper"      [ moc nixpkgs.which nixpkgs.openjdk nixpkgs.z3_4_12 ];
       inherit qc lsp unit candid profiling-graphs coverage;
     }) // { recurseForDerivations = true; };
 
@@ -818,7 +818,7 @@ EOF
           niv
           nix-update
           rlwrap # for `rlwrap moc`
-          openjdk z3 # for viper dev
+          openjdk z3_4_12 # for viper dev
           difftastic
         ] ++ lib.optional stdenv.isDarwin darwin.apple_sdk.frameworks.Security
       ));