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

[Dennis Gilmore]

commit 378bfbf25be37e7df798abb70ea804e32777cd73
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Thu Feb 14 17:28:25 2013 -0600

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

 sat4j.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/sat4j.spec b/sat4j.spec
index 9c715a7..8a123f0 100644
--- a/sat4j.spec
+++ b/sat4j.spec
@@ -4,7 +4,7 @@
 
 Name:           sat4j
 Version:        2.3.0
-Release:        4%{?dist}
+Release:        5%{?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
+* Thu Feb 14 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.3.0-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
+
 * 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