diff --git a/idris.spec b/idris.spec
index 935c342..38c31fc 100644
--- a/idris.spec
+++ b/idris.spec
@@ -6,16 +6,19 @@
 
 %bcond_with tests
 
+%ifarch armv7hl
+%global without_prof 1
+%endif
+
 Name:           %{pkg_name}
 Version:        1.3.0
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        Functional Programming Language with Dependent Types
 
 License:        BSD
 Url:            https://hackage.haskell.org/package/%{name}
 Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
 
-ExcludeArch:    armv7hl
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
@@ -167,6 +170,9 @@ mv %{buildroot}{%{_libdir},%{_datadir}}/man
 
 
 %changelog
+* Tue Jun 26 2018 Jens Petersen <petersen@redhat.com> - 1.3.0-2
+- builds on armv7hl without prof lib
+
 * Mon Jun 25 2018 Jens Petersen <petersen@redhat.com> - 1.3.0-1
 - update to 1.3.0