[gappa] - Rebuilt for gcc bug 634757

[Jesse Keating]

commit d73fa5f9e55ef16314443c8a475edfc7211719bf
Author: Jesse Keating <jkeating at redhat.com>
Date:   Wed Sep 29 14:13:00 2010 -0700

    - Rebuilt for gcc bug 634757

 gappa.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/gappa.spec b/gappa.spec
index c116141..6f98c49 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,6 +1,6 @@
 Name:		gappa
 Version:	0.13.0
-Release:	4%{?dist}
+Release:	5%{?dist}
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
 Group:		Applications/Productivity
@@ -68,6 +68,9 @@ rm -rf %{buildroot}
 
 
 %changelog
+* Wed Sep 29 2010 jkeating - 0.13.0-5
+- Rebuilt for gcc bug 634757
+
 * Tue Sep 21 2010 David A. Wheeler <dwheeler at dwheeler.com> - 0.13.0-4
 - Removed now-incorrect comment.