rpms
/
stp
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rebuild for boost 1.54.0

This commit is contained in:
Petr Machata 2013-07-30 14:47:44 +02:00
parent 4ff1e2a894
commit b2286f7a0c
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
stp.spec
View File

@ -5,7 +5,7 @@
Name: stp
Version: 0.1
Release: 14.%{svntim}%{?dist}
Release: 15.%{svntim}%{?dist}
Summary: Constraint solver/decision procedure
Group: Applications/Engineering
@ -128,6 +128,9 @@ make regresscapi
%{_includedir}/stp/
%changelog
* Tue Jul 30 2013 Petr Machata <pmachata@redhat.com> - 0.1-15.20130223svn
- Rebuild for boost 1.54.0
* Mon Mar 11 2013 Jerry James <loganjerry@gmail.com> - 0.1.14-20130223svn
- Update to recent subversion snapshot
- Reenable the check script