[ppl] Rebuild for new libswipl

[Kevin Fenzi]

commit e2bd0ab77507a1ef409a7763b2bf5683ed446021
Author: Kevin Fenzi <kevin at scrye.com>
Date:   Wed Dec 26 15:48:59 2012 -0700

    Rebuild for new libswipl

 ppl.spec |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index 41519bd..b033eec 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -1,6 +1,6 @@
 Name:			ppl
 Version:		1.0
-Release:		3%{?dist}.2
+Release:		3%{?dist}.3
 Summary:		The Parma Polyhedra Library: a library of numerical abstractions
 Group:			Development/Libraries
 License:		GPLv3+
@@ -304,6 +304,9 @@ mv \
 %postun -p /sbin/ldconfig
 
 %changelog
+* Wed Dec 26 2012 Kevin Fenzi <kevin at scrye.com> 1.0-3.3
+- Rebuild for new libswipl
+
 * Wed Dec  5 2012 Dan Horák <dan[at]danny.cz> - 1.0-3.2
 - fix the hack for all 64-bit platforms