diff --git a/.gitignore b/.gitignore index f224521..f6d239a 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1 @@ -/cmsat-2.9.6.tar.gz +/cmsat-2.9.8.tar.gz diff --git a/cryptominisat.spec b/cryptominisat.spec index 6171e2c..bc345cb 100644 --- a/cryptominisat.spec +++ b/cryptominisat.spec @@ -1,13 +1,13 @@ Name: cryptominisat -Version: 2.9.6 -Release: 2%{?dist} +Version: 2.9.8 +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://gforge.inria.fr/frs/download.php/32160/cmsat-%{version}.tar.gz +Source0: https://gforge.inria.fr/frs/download.php/32925/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 +* Mon Sep 23 2013 Jerry James - 2.9.8-1 +- New upstream release + * Sat Aug 03 2013 Fedora Release Engineering - 2.9.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild diff --git a/sources b/sources index 1a0a405..acf60f0 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -43bd33e85b0691d8f72c02e4d800f407 cmsat-2.9.6.tar.gz +ab0b384359a4ffd99193a311bae42608 cmsat-2.9.8.tar.gz