From 3ee9a1dd6daecef4f20619e7276834d8816ad64b Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Fri, 4 Sep 2015 10:45:27 -0600
Subject: [PATCH] Rebuild for cryptominisat 2.9.10.

---
 sagemath.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sagemath.spec b/sagemath.spec
index f79b4c3..438ff1f 100644
--- a/sagemath.spec
+++ b/sagemath.spec
@@ -42,7 +42,7 @@ Name:		sagemath
 Group:		Applications/Engineering
 Summary:	A free open-source mathematics software system
 Version:	6.5
-Release:	9%{?dist}
+Release:	10%{?dist}
 # The file ${SAGE_ROOT}/COPYING.txt is the upstream license breakdown file
 # Additionally, every $files section has a comment with the license name
 # before files with that license
@@ -1371,6 +1371,9 @@ exit 0
 
 ########################################################################
 %changelog
+* Fri Sep  4 2015 Jerry James <loganjerry@gmail.com> - 6.5-10
+- Rebuild for cryptominisat 2.9.10
+
 * Sat Aug 29 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 6.5-9
 - Apply conditionally not required for f22 ipython3 patch (#1258006)
 - Add missing sphinx requires (#1229283)