diff --git a/ppl.spec b/ppl.spec index 2cf0e1e..d8ea084 100644 --- a/ppl.spec +++ b/ppl.spec @@ -1,6 +1,6 @@ Name: ppl Version: 1.2 -Release: 30%{?dist} +Release: 31%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions License: GPL-3.0-or-later URL: http://www.bugseng.com/ppl @@ -12,6 +12,9 @@ Patch0: configure.patch # Adapt to swipl 8.2.x Patch1: %{name}-pl82.patch +# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval +ExcludeArch: %{ix86} + BuildRequires: gcc-c++ BuildRequires: automake BuildRequires: libtool @@ -293,6 +296,10 @@ mv \ %endif %changelog +* Wed Feb 14 2024 Jerry James - 1.2-31 +- Rebuild for ppl 9.2.1 +- Stop building for 32-bit x86 + * Thu Feb 1 2024 Jerry James - 1.2-30 - Rebuild for ppl 9.2.0