From 8ae1a93bd3cd33caf0942d39a09c10ed1ba94087 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 29 May 2018 09:06:16 +0000
Subject: [default.nix] List “hostname” as a dependency
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'default.nix')

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
-- 
cgit v1.2.3