From 0efab687511e435b5f4ce80ee04b6175bce39b4d Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Mon, 9 Aug 2021 20:02:39 +0800
Subject: [PATCH] exclude armv7hl

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

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index c5d4156..986a3aa 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -16,6 +16,8 @@ BuildRequires:  Agda
 BuildArch:      noarch
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
 Requires:       Agda = 2.6.2
+# Agda can't build on armv7hl currently for f35/ghc-8.10
+ExcludeArch:    armv7hl
 
 %description
 Agda standard libraries
@@ -69,6 +71,7 @@ install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
 %changelog
 * Mon Aug  9 2021 Jens Petersen <petersen@redhat.com> - 1.7-1
 - https://github.com/agda/agda-stdlib/blob/v1.7/CHANGELOG.md
+- disable armv7hl: no Agda - runs out of memory
 
 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild