[cryptominisat] New upstream release.

[Jerry James]

commit 216e356e08564c05db899b0f881c5c45b9c85882
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Wed Mar 19 08:51:08 2014 -0600

    New upstream release.

 .gitignore         |    2 +-
 cryptominisat.spec |    7 +++++--
 sources            |    2 +-
 3 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index f6d239a..95d9cb7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/cmsat-2.9.8.tar.gz
+/cmsat-2.9.9.tar.gz
diff --git a/cryptominisat.spec b/cryptominisat.spec
index bc345cb..e2f80b4 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,5 +1,5 @@
 Name:           cryptominisat
-Version:        2.9.8
+Version:        2.9.9
 Release:        1%{?dist}
 Summary:        SAT solver
 
@@ -7,7 +7,7 @@ Summary:        SAT solver
 # All other files are MIT-licensed.
 License:        MIT
 URL:            http://www.msoos.org/cryptominisat2/
-Source0:        https://gforge.inria.fr/frs/download.php/32925/cmsat-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/33402/cmsat-%{version}.tar.gz
 
 BuildRequires:  zlib-devel
 Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
@@ -68,6 +68,9 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Tue Mar 18 2014 Jerry James <loganjerry at gmail.com> - 2.9.9-1
+- New upstream release
+
 * Mon Sep 23 2013 Jerry James <loganjerry at gmail.com> - 2.9.8-1
 - New upstream release
 
diff --git a/sources b/sources
index acf60f0..b7a7986 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-ab0b384359a4ffd99193a311bae42608  cmsat-2.9.8.tar.gz
+8735e6295d1e0114ae649588fd82b963  cmsat-2.9.9.tar.gz