Rebuild for minisat 2.2.1.
This commit is contained in:
parent
839df2385b
commit
521711a8f6
6
stp.spec
6
stp.spec
|
@ -7,7 +7,7 @@
|
||||||
|
|
||||||
Name: stp
|
Name: stp
|
||||||
Version: 2.1.2
|
Version: 2.1.2
|
||||||
Release: 1.%{gitdate}git.%{shorttag}%{?dist}
|
Release: 2.%{gitdate}git.%{shorttag}%{?dist}
|
||||||
Summary: Constraint solver/decision procedure
|
Summary: Constraint solver/decision procedure
|
||||||
|
|
||||||
License: MIT
|
License: MIT
|
||||||
|
@ -23,6 +23,7 @@ BuildRequires: cryptominisat
|
||||||
BuildRequires: cryptominisat-devel
|
BuildRequires: cryptominisat-devel
|
||||||
BuildRequires: cryptominisat4
|
BuildRequires: cryptominisat4
|
||||||
BuildRequires: cryptominisat4-devel
|
BuildRequires: cryptominisat4-devel
|
||||||
|
BuildRequires: gcc-c++
|
||||||
BuildRequires: minisat2-devel
|
BuildRequires: minisat2-devel
|
||||||
BuildRequires: flex
|
BuildRequires: flex
|
||||||
BuildRequires: perl(Getopt::Long)
|
BuildRequires: perl(Getopt::Long)
|
||||||
|
@ -109,6 +110,9 @@ fi
|
||||||
%{python2_sitelib}/%{name}/
|
%{python2_sitelib}/%{name}/
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-2.20151122git.3785148
|
||||||
|
- Rebuild for minisat 2.2.1
|
||||||
|
|
||||||
* Sat Feb 20 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-1.20151122git.3785148
|
* Sat Feb 20 2016 Jerry James <loganjerry@gmail.com> - 2.1.2-1.20151122git.3785148
|
||||||
- Update to recent git snapshot
|
- Update to recent git snapshot
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue