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";
 }