Package: frama-c Version: 20161101+silicon+dfsg-4 Severity: serious User: debian...@lists.debian.org Usertags: piuparts Control: found -1 20161101+silicon+dfsg-2
Hi, during a test with piuparts I noticed your package fails to upgrade from 'jessie'. It installed fine in 'jessie', then the upgrade to 'stretch'/'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/ch-relationships.html#s-replaces >From the attached log (scroll to the bottom...): Preparing to unpack .../frama-c_20161101+silicon+dfsg-4_amd64.deb ... Unpacking frama-c (20161101+silicon+dfsg-4) over (20140301+neon+dfsg-3) ... dpkg: error processing archive /var/cache/apt/archives/frama-c_20161101+silicon+dfsg-4_amd64.deb (--unpack): trying to overwrite '/usr/lib/frama-c/analyses_manager.cmi', which is also in package frama-c-base 20140301+neon+dfsg-3 dpkg-deb: error: subprocess paste was killed by signal (Broken pipe) Preparing to unpack .../frama-c-base_20161101+silicon+dfsg-4_amd64.deb ... Unpacking frama-c-base (20161101+silicon+dfsg-4) over (20140301+neon+dfsg-3) ... cheers, Andreas
frama-c_20161101+silicon+dfsg-4.log.gz
Description: application/gzip
