From d5f5981143c11e94b49fa240983abf7ef9e7b203 Mon Sep 17 00:00:00 2001
From: Dennis Gilmore <dennis@ausil.us>
Date: Jun 19 2015 00:17:27 +0000
Subject: - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild


---

diff --git a/sat4j.spec b/sat4j.spec
index b2f5b38..fb5b2cd 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -8,7 +8,7 @@
 
 Name:           %{?scl_prefix}sat4j
 Version:        2.3.5
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        A library of SAT solvers written in Java
 
 Group:          Development/Libraries
@@ -61,6 +61,9 @@ cp -rp dist/%{version}/org.sat4j.pb.jar \
 %{_javadir}/org.sat4j*
 
 %changelog
+* Fri Jun 19 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
 * Sun Jun 08 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.5-4
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild