Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2020-07-16 12:18:32 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.3592 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Thu Jul 16 12:18:32 2020 rev:22 rq:821247 version:4.8.8 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2020-06-02 14:42:48.196311186 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.3592/z3.changes 2020-07-16 12:21:22.579142121 +0200 @@ -1,0 +2,5 @@ +Thu Jul 16 08:23:41 UTC 2020 - Guillaume GARDET <[email protected]> + +- Drop ExclusiveArch as it does build properly on other archs + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.UIAolR/_old 2020-07-16 12:21:24.695144262 +0200 +++ /var/tmp/diff_new_pack.UIAolR/_new 2020-07-16 12:21:24.703144269 +0200 @@ -31,7 +31,6 @@ BuildRequires: gmp-devel BuildRequires: ninja BuildRequires: python3-devel -ExclusiveArch: %{ix86} x86_64 %description Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates
