Bug#788455: libppl-dev: unhandled symlink to directory conversion: /usr/share/doc/PACKAGE
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 <anbe@debian.org> 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 <doko@debian.org> 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~
Reply to: