BR filemanip and more cleanup

Agda-stdlib.spec

@@ -13,15 +13,10 @@ URL:            http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.Standar
 # dl from https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz
 Source0:        agda-stdlib-%{version}.tar.gz
 BuildRequires:  ghc-Cabal-devel
-%if 0%{?fedora} >= 20
-BuildRequires: ghc-rpm-macros-extra
-%else
-BuildRequires: ghc-rpm-macros
-%endif
+BuildRequires:  ghc-rpm-macros
+BuildRequires:  ghc-filemanip-devel
 BuildRequires:  Agda
-# needed for filemanip
-BuildRequires:  ghc-unix-compat-devel
-# Agda is not building on arm currently
+# Agda not building on arm
 ExcludeArch:    armv7hl
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
 
@@ -38,9 +33,6 @@ This package provides the html documentation for the stdlibs
 generated by the Agda compiler program.
 
 
-%global debug_package %{nil}
-
-
 %prep
 %setup -q -n agda-stdlib-%{version}
 
@@ -55,8 +47,6 @@ agda --html -i. -isrc README.agda
 
 
 %install
-HOME=$PWD
-
 mkdir -p %{buildroot}%{_datadir}/%{name}
 cp -pr Everything.agda* src/* %{buildroot}%{_datadir}/%{name}