Really rebuild for cryptominisat 2.9.8.
This commit is contained in:
parent
0dad78eb89
commit
e611f6d776
5
stp.spec
5
stp.spec
@ -5,7 +5,7 @@
|
|||||||
|
|
||||||
Name: stp
|
Name: stp
|
||||||
Version: 0.1
|
Version: 0.1
|
||||||
Release: 17.%{svntim}%{?dist}
|
Release: 18.%{svntim}%{?dist}
|
||||||
Summary: Constraint solver/decision procedure
|
Summary: Constraint solver/decision procedure
|
||||||
|
|
||||||
Group: Applications/Engineering
|
Group: Applications/Engineering
|
||||||
@ -135,6 +135,9 @@ make regresscapi
|
|||||||
%{_includedir}/stp/
|
%{_includedir}/stp/
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
* Wed Oct 9 2013 Jerry James <loganjerry@gmail.com> - 0.1-18.20130223svn
|
||||||
|
- Really rebuild for cryptominisat 2.9.8
|
||||||
|
|
||||||
* Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
|
* Thu Sep 26 2013 Jerry James <loganjerry@gmail.com> - 0.1-17.20130223svn
|
||||||
- Rebuild for cryptominisat 2.9.8
|
- Rebuild for cryptominisat 2.9.8
|
||||||
- Disable regression tests for non-x86 (see bz 1012698)
|
- Disable regression tests for non-x86 (see bz 1012698)
|
||||||
|
Loading…
Reference in New Issue
Block a user