commit 21bfd7ee7edf6c80f323f4dce99112dd049b5876
Author: Jan Rękorajski <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
