diff --git a/Agda.spec b/Agda.spec
index 47659db..fb8951d 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -28,6 +28,11 @@ Source2:        https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.
 # End cabal-rpm sources
 Source10:       agda-mode-init.el
 
+# [372 of 397] Compiling Agda.Interaction.Imports
+# ghc: out of memory [even with -O0]
+# https://bugzilla.redhat.com/show_bug.cgi?id=1991261
+ExcludeArch:    armv7hl
+
 # Begin cabal-rpm deps:
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros-extra
@@ -260,6 +265,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 * Thu Aug  5 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32
 - update to 2.6.2
 - https://hackage.haskell.org/package/Agda-2.6.2/changelog
+- disable armv7hl due to out of memory (#73471404)
 
 * Thu Aug  5 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
 - update to 2.6.1.3