1 files changed, 2 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix b/infra/libkookie/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix
index 530763c9439d..dabcc44261b5 100644
--- a/infra/libkookie/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix
+++ b/infra/libkookie/nixpkgs/pkgs/development/coq-modules/hierarchy-builder/default.nix
@@ -12,6 +12,8 @@ with lib; mkCoqDerivation {
   release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
   releaseRev = v: "v${v}";
 
+  nativeBuildInputs = [ which ];
+
   propagatedBuildInputs = [ coq-elpi ];
 
   extraInstallFlags = [ "VFILES=structures.v" ];