Package: libmpfi-dev Version: 1.5.1+ds-3 Severity: serious User: debian...@lists.debian.org Usertags: piuparts
Hi, a test with piuparts revealed that your package misses the copyright file after an upgrade, which is a violation of Policy 12.5: https://www.debian.org/doc/debian-policy/ch-docs.html#s-copyrightfile After the upgrade /usr/share/doc/$PACKAGE/ is just an empty directory. This was observed on the following upgrade paths: jessie -> stretch >From the attached log (scroll to the bottom...): 1m45.5s ERROR: WARN: Inadequate results from running adequate! libmpfi-dev:amd64: missing-copyright-file /usr/share/doc/libmpfi-dev/copyright MISSING COPYRIGHT FILE: /usr/share/doc/libmpfi-dev/copyright # ls -lad /usr/share/doc/libmpfi-dev drwxr-xr-x 2 root root 40 May 22 17:02 /usr/share/doc/libmpfi-dev # ls -la /usr/share/doc/libmpfi-dev/ total 0 drwxr-xr-x 2 root root 40 May 22 17:02 . drwxr-xr-x 114 root root 2400 May 22 17:02 .. Additional info may be available here: https://wiki.debian.org/MissingCopyrightFile Note that dpkg intentionally does not replace directories with symlinks and vice versa, you need the maintainer scripts to do this. See in particular the end of point 4 in https://www.debian.org/doc/debian-policy/ch-maintainerscripts.html#s-unpackphase It is recommended to use the dpkg-maintscript-helper commands 'dir_to_symlink' and 'symlink_to_dir' (available since dpkg 1.17.14) to perform the conversion, ideally using d/$PACKAGE.maintscript. Do not forget to add 'Pre-Depends: ${misc:Pre-Depends}' in d/control. See dpkg-maintscript-helper(1) and dh_installdeb(1) for details. cheers, Andreas
libmpfi-dev_1.5.1+ds-3.log.gz
Description: application/gzip
