diff options
Diffstat (limited to 'pkgs/development/coq-modules/coqprime/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/coqprime/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/coqprime/default.nix b/pkgs/development/coq-modules/coqprime/default.nix index 26988b81e1a6b..46ede02a57e69 100644 --- a/pkgs/development/coq-modules/coqprime/default.nix +++ b/pkgs/development/coq-modules/coqprime/default.nix @@ -20,6 +20,7 @@ with lib; mkCoqDerivation { release."8.7.2".sha256 = "15zlcrx06qqxjy3nhh22wzy0rb4npc8l4nx2bbsfsvrisbq1qb7k"; releaseRev = v: "v${v}"; + extraBuildInputs = [ which ]; propagatedBuildInputs = [ bignums ]; meta = with lib; { |