diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 4e1cfbb..1a1d32b 100644 --- a/default.nix +++ b/default.nix @@ -4,7 +4,7 @@ stdenv.mkDerivation { name = "CoqUp"; src = ./.; - buildInputs = [ coq_8_10 ]; + buildInputs = [ coq_8_10 ocamlPackages.menhir dune ]; buildPhase = "make"; } |