diff --git a/stp.spec b/stp.spec index 03180ec..988f7e9 100644 --- a/stp.spec +++ b/stp.spec @@ -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 - 0.1-15.20130223svn +- Rebuild for boost 1.54.0 + * Mon Mar 11 2013 Jerry James - 0.1.14-20130223svn - Update to recent subversion snapshot - Reenable the check script