[ppl] Rebuild for new gmp

[Kevin Fenzi]

commit ca29c447fbe9a29e62eab9d6437bed0d5e133972
Author: Kevin Fenzi <kevin at scrye.com>
Date:   Tue Nov 1 10:27:11 2011 -0600

    Rebuild for new gmp

 ppl.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index 1b81e15..74c8594 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -2,7 +2,7 @@
 
 Name:           ppl
 Version:        0.11.2
-Release:        3%{?dist}.2
+Release:        4%{?dist}
 
 Summary:        The Parma Polyhedra Library: a library of numerical abstractions
 Group:          Development/Libraries
@@ -420,6 +420,9 @@ mv \
 rm -rf %{buildroot}
 
 %changelog
+* Tue Nov 01 2011 Kevin Fenzi <kevin at scrye.com> - 0.11.2-4
+- Rebuild for new gmp
+
 * Wed Oct 26 2011 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.11.2-3.2
 - Rebuilt for glibc bug#747377