diff --git a/.gitignore b/.gitignore
index 46a3feb..abf7abe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 ppl-0.10.2.tar.bz2
+/ppl-0.11.2-Makefile.patch
+/ppl-0.11.2.tar.bz2
diff --git a/ppl.hh b/ppl.hh
index 53d4d13..77f0fd0 100644
--- a/ppl.hh
+++ b/ppl.hh
@@ -1,5 +1,6 @@
 /* This is the header file switcher of the Parma Polyhedra Library.
-   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Polyhedra Library (PPL).
 
diff --git a/ppl.spec b/ppl.spec
index 3e0b85d..17e7a92 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -57,8 +57,9 @@ Group:          Development/Libraries
 Requires:       %{name} = %{version}-%{release}
 BuildRequires:  glpk-devel >= 4.13
 %description utils
-This package contains the mixed integer linear programming solver ppl_lpsol
-and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
+This package contains the mixed integer linear programming solver ppl_lpsol.
+the program ppl_lcdd for vertex/facet enumeration of convex polyhedra,
+and the parametric integer programming solver ppl_pips.
 
 %ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9
 %package gprolog
@@ -295,8 +296,10 @@ mv \
 %defattr(-,root,root,-)
 %{_bindir}/ppl_lcdd
 %{_bindir}/ppl_lpsol
+%{_bindir}/ppl_pips
 %{_mandir}/man1/ppl_lcdd.1.gz
 %{_mandir}/man1/ppl_lpsol.1.gz
+%{_mandir}/man1/ppl_pips.1.gz
 
 %ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9
 %files gprolog
diff --git a/ppl_c.h b/ppl_c.h
index dc62d50..cdb7b5d 100644
--- a/ppl_c.h
+++ b/ppl_c.h
@@ -1,5 +1,6 @@
 /* Header file switcher for the C interface.  -*- C -*-
-   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Polyhedra Library (PPL).
 
diff --git a/pwl.hh b/pwl.hh
index a89f27d..3313c8e 100644
--- a/pwl.hh
+++ b/pwl.hh
@@ -1,5 +1,6 @@
 /* This is the header file switcher of the Parma Watchdog Library.
-   Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Watchdog Library (PWL).
 
diff --git a/sources b/sources
index d4fe31d..c37ab5d 100644
--- a/sources
+++ b/sources
@@ -1 +1,2 @@
-5667111f53150618b0fa522ffc53fc3e  ppl-0.10.2.tar.bz2
+61ecfa2164cd0fb00738845e7652c41b  ppl-0.11.2-Makefile.patch
+c24429e6c3bc97d45976a63f40f489a1  ppl-0.11.2.tar.bz2