[gappa] Rebuild for GCC 4.7.

[Jerry James]

commit f921434f73962e7105b21679da4fd7a07ba98081
Author: Jerry James <loganjerry at gmail.com>
Date:   Sat Jan 7 21:54:15 2012 -0700

    Rebuild for GCC 4.7.

 gappa.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/gappa.spec b/gappa.spec
index 272fd61..c7440f0 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,6 +1,6 @@
 Name:		gappa
 Version:	0.15.1
-Release:	1%{?dist}.2
+Release:	2%{?dist}
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
 Group:		Applications/Productivity
@@ -72,6 +72,9 @@ make install DESTDIR=%{buildroot}
 
 
 %changelog
+* Sat Jan  7 2012 Jerry James <loganjerry at gmail.com> - 0.15.1-2
+- Rebuild for GCC 4.7
+
 * Thu Oct 20 2011 Marcela Mašláňová <mmaslano at redhat.com> - 0.15.1-1.2
 - rebuild with new gmp without compat lib