Followup-For: Bug #788455 Control: tag -1 patch Hi,
attached is a patch that adds libppl-dev.maintscript to perform the symlink_to_dir transition of /usr/share/doc/libppl-dev. It also adjusts the Breaks+Conflicts s.t they match up with the corresponding Replaces+Provides (and the obsolete and partially owerwritten libppl6 package from lenny will be removed as a result of this). This bug only showed up in jessie since there was no libppl-dev package in squeeze or wheezy, but only in lenny. Andreas
diff -Nru ppl-1.1/debian/changelog ppl-1.1/debian/changelog --- ppl-1.1/debian/changelog 2015-04-29 16:12:12.000000000 +0200 +++ ppl-1.1/debian/changelog 2015-07-20 12:07:26.000000000 +0200 @@ -1,3 +1,14 @@ +ppl (1:1.1-5) UNRELEASED; urgency=medium + + * QA upload. + * libppl-dev.maintscript: Perform the symlink_to_dir migration of + /usr/share/doc/libppl-dev. The symlink dates back to the package in lenny + as the libppl-dev package did not exist in squeeze or wheezy. + (Closes: #788455) + * libppl-dev: Update Breaks+Conflicts to match Replaces+Provides. + + -- Andreas Beckmann <[email protected]> Mon, 20 Jul 2015 03:28:48 +0200 + ppl (1:1.1-4) unstable; urgency=medium * Fix build with doxygen 1.8.9. @@ -33,7 +44,7 @@ -- Matthias Klose <[email protected]> Thu, 09 May 2013 13:16:42 +0200 -ppl (1:1.0-7) medium; urgency=low +ppl (1:1.0-7) unstable; urgency=low * Fix typo in libppl-doc dependencies. * Proper fix to build with both gmp 5.0 and 5.1. diff -Nru ppl-1.1/debian/control ppl-1.1/debian/control --- ppl-1.1/debian/control 2015-04-29 16:09:41.000000000 +0200 +++ ppl-1.1/debian/control 2015-07-20 12:09:32.000000000 +0200 @@ -35,7 +35,9 @@ Provides: libppl-c-dev, libppl0.12-dev Recommends: libgmp3-dev (>= 4.1.3) Replaces: libppl6, libppl7 (<< 0.10~pre27-4), libppl9, libppl0.12-dev -Conflicts: libppl0.10-dev, libppl0.11-dev +Breaks: libppl6, libppl7 (<< 0.10~pre27-4), libppl9 +# B+R: libppl6 can be removed after stretch was released +Conflicts: libppl0.10-dev, libppl0.11-dev, libppl0.12-dev Suggests: libppl-doc Description: Parma Polyhedra Library (development) The Parma Polyhedra Library (PPL) is a C++ library for the diff -Nru ppl-1.1/debian/libppl-dev.maintscript ppl-1.1/debian/libppl-dev.maintscript --- ppl-1.1/debian/libppl-dev.maintscript 1970-01-01 01:00:00.000000000 +0100 +++ ppl-1.1/debian/libppl-dev.maintscript 2015-07-20 03:34:14.000000000 +0200 @@ -0,0 +1 @@ +symlink_to_dir /usr/share/doc/libppl-dev libppl6 1:1.1-5~

