From b2286f7a0c5d57114f0bd82c11dd9e5352874d79 Mon Sep 17 00:00:00 2001
From: Petr Machata <pmachata@redhat.com>
Date: Tue, 30 Jul 2013 14:47:44 +0200
Subject: [PATCH] Rebuild for boost 1.54.0

---
 stp.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 <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