[packages/why3] - follow ocaml-zarith builds

[baggins]

commit 21bfd7ee7edf6c80f323f4dce99112dd049b5876
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Mon Mar 29 21:25:08 2021 +0200

    - follow ocaml-zarith builds

 why3.spec | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/why3.spec b/why3.spec
index e2d5a9d..a2db4b3 100644
--- a/why3.spec
+++ b/why3.spec
@@ -21,6 +21,8 @@ BuildRequires:	ocaml-zarith-devel
 BuildRequires:	rubber
 BuildRequires:	sqlite3-devel
 %requires_eq	ocaml-runtime
+# same as ocaml-zarith
+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/why3.git/commitdiff/21bfd7ee7edf6c80f323f4dce99112dd049b5876