diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-05-29 09:06:16 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-05-29 09:06:16 +0000 |
commit | 8ae1a93bd3cd33caf0942d39a09c10ed1ba94087 (patch) | |
tree | 31dec21b16f3f40c8962b85ced848edafd2ee365 /default.nix | |
parent | 4c01c6101edad8580061102be2b411835fa8b0e5 (diff) |
[default.nix] List “hostname” as a dependency
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/default.nix b/default.nix index c80ae1597..bb9f220f4 100644 --- a/default.nix +++ b/default.nix @@ -35,9 +35,11 @@ stdenv.mkDerivation rec { name = "coq"; - buildInputs = (with ocamlPackages; [ + buildInputs = [ # Coq dependencies + hostname + ] ++ (with ocamlPackages; [ ocaml findlib camlp5_strict |