From 8d9197a344e58eae69ca76546b5a0a5ee1e6eb61 Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Jul 14 2018 05:42:59 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild


Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>

---

diff --git a/sat4j.spec b/sat4j.spec
index 2511819..37ae08d 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -3,7 +3,7 @@
 
 Name:           sat4j
 Version:        2.3.5
-Release:        12%{?dist}
+Release:        13%{?dist}
 Summary:        A library of SAT solvers written in Java
 
 License:        EPL or LGPLv2
@@ -44,6 +44,9 @@ ant -Dbuild.compiler=modern -Drelease=%{version} \
 # No %%doc files as the about.html is in the jar
 
 %changelog
+* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-13
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
+
 * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.5-12
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild