Package: menhir-doc Version: 20180530-1 Severity: serious User: debian...@lists.debian.org Usertags: piuparts
Hi, during a test with piuparts I noticed your package fails to upgrade from 'stable'. It installed fine in 'stable', then the upgrade to 'sid' fails because it tries to overwrite other packages files without declaring a Breaks+Replaces relation. See policy 7.6 at https://www.debian.org/doc/debian-policy/#overwriting-files-and-replacing-packages-replaces This test intentionally skipped 'testing' to find file overwrite problems before packages migrate from 'unstable' to 'testing'. >From the attached log (scroll to the bottom...): Preparing to unpack .../menhir-doc_20180530-1_all.deb ... Unpacking menhir-doc (20180530-1) ... dpkg: error processing archive /var/cache/apt/archives/menhir-doc_20180530-1_all.deb (--unpack): trying to overwrite '/usr/share/doc/menhir/examples/Makefile', which is also in package menhir 20160808+dfsg-1+b1 dpkg-deb: error: subprocess paste was killed by signal (Broken pipe) Errors were encountered while processing: /var/cache/apt/archives/menhir-doc_20180530-1_all.deb cheers, Andreas
menhir=20160808+dfsg-1+b1_menhir-doc=20180530-1.log.gz
Description: application/gzip
