diff --git a/stp.spec b/stp.spec index 08b9142..c271584 100644 --- a/stp.spec +++ b/stp.spec @@ -7,7 +7,7 @@ Name: stp Version: 2.1.2 -Release: 1.%{gitdate}git.%{shorttag}%{?dist} +Release: 2.%{gitdate}git.%{shorttag}%{?dist} Summary: Constraint solver/decision procedure License: MIT @@ -23,6 +23,7 @@ BuildRequires: cryptominisat BuildRequires: cryptominisat-devel BuildRequires: cryptominisat4 BuildRequires: cryptominisat4-devel +BuildRequires: gcc-c++ BuildRequires: minisat2-devel BuildRequires: flex BuildRequires: perl(Getopt::Long) @@ -109,6 +110,9 @@ fi %{python2_sitelib}/%{name}/ %changelog +* Sat Mar 19 2016 Jerry James - 2.1.2-2.20151122git.3785148 +- Rebuild for minisat 2.2.1 + * Sat Feb 20 2016 Jerry James - 2.1.2-1.20151122git.3785148 - Update to recent git snapshot