From 650ee12543d3b3d01ae4a707695119d03a97e7e9 Mon Sep 17 00:00:00 2001
From: Kalev Lember <kalevlember@gmail.com>
Date: May 02 2015 11:10:56 +0000
Subject: Rebuilt for GCC 5 C++11 ABI change


---

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 5a8c25f..6d0fd35 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        2.9.9
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        SAT solver
 
 # The Mersenne Twister implementation is BSD-licensed.
@@ -69,6 +69,9 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.9.9-5
+- Rebuilt for GCC 5 C++11 ABI change
+
 * Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 2.9.9-4
 - Use license macro