Merge remote-tracking branch 'origin/master' into release

runtimeverification · Aug 21, 2024 · d960a50 · d960a50
2 parents 1baec38 + 93cac61
commit d960a50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -180,7 +180,7 @@
       in {
         packages.default = kevm;
         devShell = pkgs.mkShell {
-          buildInputs = buildInputs pkgs ++ [ pkgs.poetry-nixpkgs ];
+          buildInputs = buildInputs pkgs ++ [ pkgs.poetry-nixpkgs pkgs.which ];
 
           shellHook = ''
             export NIX_LIBS="${nixLibs pkgs}"