diff --git a/.sat4j.metadata b/.sat4j.metadata new file mode 100644 index 0000000..88384be --- /dev/null +++ b/.sat4j.metadata @@ -0,0 +1 @@ +ab9d5a51c096e395c1db9daa887c5736cdbdff2f sat4j-2.3.5.tar.xz diff --git a/sat4j.spec b/sat4j.spec index 2fb94f2..5f72619 100644 --- a/sat4j.spec +++ b/sat4j.spec @@ -3,7 +3,7 @@ Name: sat4j Version: 2.3.5 -Release: 22%{?dist} +Release: 23%{?dist} Summary: A library of SAT solvers written in Java License: EPL-1.0 or LGPLv2 @@ -46,6 +46,10 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \ # No %%doc files as the about.html is in the jar %changelog +* Tue Aug 10 2021 Mohan Boddu - 2.3.5-23 +- Rebuilt for IMA sigs, glibc 2.34, aarch64 flags + Related: rhbz#1991688 + * Fri Apr 16 2021 Mohan Boddu - 2.3.5-22 - Rebuilt for RHEL 9 BETA on Apr 15th 2021. Related: rhbz#1947937