From 521711a8f642f3b73c59ba28ff793faf86f49f7b Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sat, 19 Mar 2016 18:25:05 -0600 Subject: [PATCH] Rebuild for minisat 2.2.1. --- stp.spec | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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