From 21bfd7ee7edf6c80f323f4dce99112dd049b5876 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Mon, 29 Mar 2021 21:25:08 +0200
Subject: [PATCH] - 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
-- 
2.43.0