From 7625567586d39b74d62c9f71804f05f955db1a26 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 11 Jun 2021 18:22:49 +0800
Subject: [PATCH] add reference to #991929 to armv7 -O0 condition

---
 Agda.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Agda.spec b/Agda.spec
index 074b0b4..d6acb2e 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -182,6 +182,7 @@ done
 # Begin cabal-rpm build:
 %ghc_libs_build %{subpkgs}
 %ifarch armv7hl
+# https://bugzilla.redhat.com/show_bug.cgi?id=991929
 %define cabal_configure_options --ghc-options="-O0"
 %endif
 %ghc_lib_build