petersen pushed to Agda-stdlib (master). "BR unix-compat for filemanip"

[notifications at fedoraproject.org]

>From 7bb5a0ef9e00dde11a6587aa802d80b8b00ac3e9 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 17 Apr 2015 13:17:28 +0900
Subject: BR unix-compat for filemanip


diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 0ea17b5..9e472ee 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -24,6 +24,8 @@ BuildRequires: ghc-rpm-macros-extra
 BuildRequires: ghc-rpm-macros
 %endif
 BuildRequires:  Agda
+# needed for filemanip
+BuildRequires:  ghc-unix-compat-devel
 # Agda needs ghci and is not building on arm currently
 ExclusiveArch:  %{ghc_arches_with_ghci}
 ExcludeArch:    armv7hl
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda-stdlib.git/commit/?h=master&id=7bb5a0ef9e00dde11a6587aa802d80b8b00ac3e9