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

[Dennis Gilmore]

commit 55db05ce86d47177b6b71f45f80502b86800a343
Author: Dennis Gilmore <dennis at ausil.us>
Date:   Wed Jul 18 14:54:31 2012 -0500

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

 cryptominisat.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/cryptominisat.spec b/cryptominisat.spec
index 655ddc9..7cef533 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        2.9.3
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        SAT solver
 
 # Some source files were borrowed from minisat2, which is MIT-licensed.
@@ -69,6 +69,9 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Wed Jul 18 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.9.3-2
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
 * Mon Apr 16 2012 Jerry James <loganjerry at gmail.com> - 2.9.3-1
 - New upstream version