From 84849e15e58525d47202ac29b397c8d95e41103f Mon Sep 17 00:00:00 2001
From: CentOS Sources <bugs@centos.org>
Date: Tue, 21 Jul 2020 11:17:48 -0400
Subject: [PATCH] import sat4j-2.3.5-17.module+el8.2.1+6727+059d025f

---
 SPECS/sat4j.spec | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/SPECS/sat4j.spec b/SPECS/sat4j.spec
index f370a60..ec66525 100644
--- a/SPECS/sat4j.spec
+++ b/SPECS/sat4j.spec
@@ -3,7 +3,7 @@
 
 Name:           sat4j
 Version:        2.3.5
-Release:        15%{?dist}
+Release:        17%{?dist}
 Summary:        A library of SAT solvers written in Java
 
 License:        EPL-1.0 or LGPLv2
@@ -44,6 +44,12 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \
 # No %%doc files as the about.html is in the jar
 
 %changelog
+* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-17
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-16
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
 * Tue Jun 11 2019 Mat Booth <mat.booth@redhat.com> - 2.3.5-15
 - Fix license tag