From 7088d9b07f2942436d63a463952126d6199de2d4 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mar 20 2016 00:11:00 +0000
Subject: New upstream release.


---

diff --git a/.gitignore b/.gitignore
index f5cb943..060a130 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /cmsat-2.9.9.tar.gz
 /cryptominisat-2.9.10.zip
+/2.9.11.tar.gz
diff --git a/cryptominisat.spec b/cryptominisat.spec
index 05a348a..1db149b 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,14 +1,15 @@
 Name:           cryptominisat
-Version:        2.9.10
-Release:        3%{?dist}
+Version:        2.9.11
+Release:        1%{?dist}
 Summary:        SAT solver
 
 # The Mersenne Twister implementation is BSD-licensed.
 # All other files are MIT-licensed.
 License:        MIT
 URL:            http://www.msoos.org/cryptominisat2/
-Source0:        https://github.com/msoos/cryptominisat/archive/%{name}-%{version}.zip
+Source0:        https://github.com/msoos/%{name}/archive/%{version}.tar.gz
 
+BuildRequires:  gcc-c++
 BuildRequires:  libtool
 BuildRequires:  mariadb-devel
 BuildRequires:  perl
@@ -42,10 +43,7 @@ Summary:        Cryptominisat library
 The %{name} library.
 
 %prep
-%setup -q -n %{name}-%{name}-%{version}
-
-# Fix version number
-sed -i 's/2\.9\.9/%{version}/' configure.in
+%setup -q
 
 # Fix version number and output directory in library documentation
 sed -e 's/2\.6\.0/%{version}/' \
@@ -92,6 +90,9 @@ rm -f %{buildroot}%{_libdir}/*.la
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.9.11-1
+- New upstream release
+
 * Sat Mar  5 2016 Jerry James <loganjerry@gmail.com> - 2.9.10-3
 - post/postun scripts are for libs, not the main package
 
diff --git a/sources b/sources
index 7d45768..935aa3b 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-eb46361e991c04211f87fb4a18743e11  cryptominisat-2.9.10.zip
+72b0ba94b7fc4a759d664188ad198139  2.9.11.tar.gz