[sat4j] - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

[Dennis Gilmore]

commit 1e30a1d03445115cb92a9d44aea782b8b5cdb095
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Sat Jul 21 13:54:47 2012 -0500

    - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild

 sat4j.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/sat4j.spec b/sat4j.spec
index acd2c6f..9c715a7 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -4,7 +4,7 @@
 
 Name:           sat4j
 Version:        2.3.0
-Release:        3%{?dist}
+Release:        4%{?dist}
 Summary:        A library of SAT solvers written in Java
 
 Group:          Development/Libraries
@@ -57,6 +57,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_javadir}/org.sat4j*
 
 %changelog
+* Sat Jul 21 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.0-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Sat Jan 14 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.0-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild