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

[Dennis Gilmore]

commit 5476c4b1b4b7a3e7b824880cb7e32e8ce6c1719f
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Thu Jul 19 21:00:39 2012 -0500

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

 minisat2.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/minisat2.spec b/minisat2.spec
index f997252..ec2ed09 100644
--- a/minisat2.spec
+++ b/minisat2.spec
@@ -2,7 +2,7 @@
 
 Name:           minisat2
 Version:        2.2.0
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Minimalistic SAT solver
 
 License:        MIT
@@ -81,6 +81,9 @@ fi
 %attr(755,root,root) %{_bindir}/%{myname}
 
 %changelog
+* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.2.0-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Mon Jan  9 2012 Jerry James <loganjerry at gmail.com> - 2.2.0-2
 - Rebuild for GCC 4.7
 - Use the canonical source URL