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

---
 Agda-stdlib.spec | 2 ++
 1 file changed, 2 insertions(+)

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