From cd05d5a112c83b80d8b9432842c97c27a9d03a90 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 5 Nov 2018 14:53:19 +0000
Subject: coqPackages.autosubst: fix build

---
 pkgs/development/coq-modules/autosubst/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/development/coq-modules')

diff --git a/pkgs/development/coq-modules/autosubst/default.nix b/pkgs/development/coq-modules/autosubst/default.nix
index 9c24e77e0f78..bffa5172b0e4 100644
--- a/pkgs/development/coq-modules/autosubst/default.nix
+++ b/pkgs/development/coq-modules/autosubst/default.nix
@@ -11,6 +11,7 @@ stdenv.mkDerivation rec {
     sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341";
   };
 
+  buildInputs = [ coq ];
   propagatedBuildInputs = [ mathcomp ];
 
   patches = [./0001-changes-to-work-with-Coq-8.6.patch];
-- 
cgit 1.4.1