From 56a008681a31557f379c08062a1a236263e58584 Mon Sep 17 00:00:00 2001 From: Mohan Boddu Date: Tue, 10 Aug 2021 00:46:00 +0000 Subject: [PATCH] Rebuilt for IMA sigs, glibc 2.34, aarch64 flags --- .sat4j.metadata | 1 + sat4j.spec | 6 +++++- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 .sat4j.metadata 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