Rebuilt for Boost 1.66
This commit is contained in:
parent
fd826ecc72
commit
d95504edc4
5
stp.spec
5
stp.spec
|
@ -7,7 +7,7 @@
|
|||
|
||||
Name: stp
|
||||
Version: 2.1.2
|
||||
Release: 10.%{gitdate}git.%{shorttag}%{?dist}
|
||||
Release: 11.%{gitdate}git.%{shorttag}%{?dist}
|
||||
Summary: Constraint solver/decision procedure
|
||||
|
||||
License: MIT
|
||||
|
@ -103,6 +103,9 @@ make install DESTDIR=%{buildroot}
|
|||
%{python2_sitelib}/%{name}/
|
||||
|
||||
%changelog
|
||||
* Tue Jan 23 2018 Jonathan Wakely <jwakely@redhat.com> - 2.1.2-11.20171116git.b67aa83
|
||||
- Rebuilt for Boost 1.66
|
||||
|
||||
* Sat Nov 25 2017 Jerry James <loganjerry@gmail.com> - 2.1.2-10.20171116git.b67aa83
|
||||
- Update to recent git snapshot
|
||||
- Build with cryptominisat5 support
|
||||
|
|
Loading…
Reference in New Issue