From 8ae1a93bd3cd33caf0942d39a09c10ed1ba94087 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 29 May 2018 09:06:16 +0000
Subject: [default.nix] List “hostname” as a dependency

---
 default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index c80ae15977..bb9f220f48 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
-- 
cgit v1.2.3