[cryptominisat] New upstream version.

[Jerry James]

commit 70ff171d951393e39a1342fbc55f0390c6258ca6
Author: Jerry James <loganjerry at gmail.com>
Date:   Mon Apr 16 10:07:31 2012 -0600

    New upstream version.

 .gitignore         |    2 +-
 cryptominisat.spec |   15 ++++++---------
 sources            |    2 +-
 3 files changed, 8 insertions(+), 11 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index fc103b7..14b92d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-/cryptominisat-2.9.2.tar.gz
+/cryptominisat-2.9.3.tar.gz
diff --git a/cryptominisat.spec b/cryptominisat.spec
index a3002e2..655ddc9 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
-Version:        2.9.2
-Release:        2%{?dist}
+Version:        2.9.3
+Release:        1%{?dist}
 Summary:        SAT solver
 
 # Some source files were borrowed from minisat2, which is MIT-licensed.
@@ -8,7 +8,7 @@ Summary:        SAT solver
 # Original sources for this project are licensed GPL v3 or later.
 License:        GPLv3+
 URL:            http://www.msoos.org/cryptominisat2
-Source0:        https://gforge.inria.fr/frs/download.php/30138/%{name}-%{version}.tar.gz
+Source0:        https://gforge.inria.fr/frs/download.php/30588/%{name}-%{version}.tar.gz
 
 BuildRequires:  zlib-devel
 Requires:       %{name}-libs%{?_isa} = %{version}-%{release}
@@ -52,12 +52,6 @@ make %{?_smp_mflags}
 make install DESTDIR=$RPM_BUILD_ROOT
 rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 
-# %%check
-# cd tests
-# set +e
-# LD_LIBRARY_PATH=../Solver/.libs ../cryptominisat --nosolprint --verbosity=1 AProVE09-12.cnf.gz
-# [ $? = 10 ]
-
 %post -p /sbin/ldconfig
 
 %postun -p /sbin/ldconfig
@@ -75,6 +69,9 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Mon Apr 16 2012 Jerry James <loganjerry at gmail.com> - 2.9.3-1
+- New upstream version
+
 * Tue Feb 28 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 2.9.2-2
 - Rebuilt for c++ ABI breakage
 
diff --git a/sources b/sources
index 98c96cd..3dde7a0 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-0b677776d0fbff4911ad539732034927  cryptominisat-2.9.2.tar.gz
+e923826f4cf815e7f8936f1293cd883e  cryptominisat-2.9.3.tar.gz