[packages/coq] - arm is a macro containing actual arm subarchs

[qboosh]

commit 39bb02639bdbc600e4f0b3b49cb7461e728fbbe2
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Sun Mar 28 21:45:42 2021 +0200

    - arm is a macro containing actual arm subarchs

 coq.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index e648023..d42a39f 100644
--- a/coq.spec
+++ b/coq.spec
@@ -3,7 +3,7 @@
 %bcond_without	ocaml_opt	# skip building native optimized binaries (bytecode is always built)
 %bcond_with	tests		# run testsuite (csdp dependant micromega tests fail badly on x86_64)
 #
-%ifnarch %{ix86} %{x8664} arm aarch64 ppc sparc sparcv9
+%ifnarch %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 %undefine	with_ocaml_opt
 %endif
 
@@ -45,7 +45,7 @@ BuildRequires:	texlive-xetex
 %requires_eq	ocaml-runtime
 Obsoletes:	coq-emacs < 8.13.1
 # same as ocaml-zarith
-ExclusiveArch:	%{ix86} %{x8664} arm aarch64 ppc sparc sparcv9
+ExclusiveArch:	%{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/coq.git/commitdiff/39bb02639bdbc600e4f0b3b49cb7461e728fbbe2