diff --git a/z3.spec b/z3.spec index 78e4b3e..77421d1 100644 --- a/z3.spec +++ b/z3.spec @@ -1,3 +1,6 @@ +# OCaml packages not built on i686 since OCaml 5 / Fedora 39. +ExcludeArch: %{ix86} + # TODO: A Julia interface is now available, but requires # https://github.com/JuliaInterop/libcxxwrap-julia, which is not currently # available in Fedora.