From 8482acd91f5614586fe4ffdd2f6e77b5be402e1c Mon Sep 17 00:00:00 2001
From: Jesse Keating <jkeating@fedoraproject.org>
Date: Mon, 27 Jul 2009 04:54:04 +0000
Subject: [PATCH] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

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

diff --git a/stp.spec b/stp.spec
index 3b0ae1b..d89dccd 100644
--- a/stp.spec
+++ b/stp.spec
@@ -2,7 +2,7 @@
 
 Name:		stp
 Version:	0.1
-Release:	4%{?dist}
+Release:	5%{?dist}
 Summary:	Constraint solver/decision procedure
 
 Group:		Applications/Engineering
@@ -111,6 +111,9 @@ rm -rf %{buildroot}
 %{_includedir}/stp/
 
 %changelog
+* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.1-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
 * Mon Mar  6 2009 David A. Wheeler <dwheeler at, dwheeler.com> 0.1-4
 - Re-sync with CVS