[ppl] Rebuild with newer pl

[pcpa]

commit bdf4b7a0eadcea56a24365dec80ed780a35754ef
Author: pcpa <paulo.cesar.pereira.de.andrade at gmail.com>
Date:   Thu Sep 5 10:46:08 2013 -0300

    Rebuild with newer pl

 ppl.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index c9006c1..413b367 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -1,6 +1,6 @@
 Name:			ppl
 Version:		1.0
-Release:		4%{?dist}.6
+Release:		4%{?dist}.7
 Summary:		The Parma Polyhedra Library: a library of numerical abstractions
 Group:			Development/Libraries
 License:		GPLv3+
@@ -309,6 +309,9 @@ mv \
 %postun -p /sbin/ldconfig
 
 %changelog
+* Thu Sep  5 2013 pcpa <paulo.cesar.pereira.de.andrade at gmail.com> - 1.0-4.7
+- Rebuild with newer pl
+
 * Tue Aug  6 2013 pcpa <paulo.cesar.pereira.de.andrade at gmail.com> - 1.0-4.6
 - Rebuild with newer glpk
 - Adapt to unversioned docdir (#994050)