From 513789fe8af28acd2e77b0868423bd941959d61e Mon Sep 17 00:00:00 2001
From: CentOS Sources <bugs@centos.org>
Date: Jul 21 2020 15:17:48 +0000
Subject: import sat4j-2.3.5-17.module+el8.2.1+6727+059d025f


---

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