temporarily disable withHoogle in devShell

kadena-io · Nov 5, 2024 · 5d26c24 · 5d26c24
1 parent 786eff4
commit 5d26c24
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -50,6 +50,7 @@
                 z3
                 pkg-config
               ];
+              shell.withHoogle = false;
             };
         })
       ];