Package: coq,coqide Version: 8.9.1-4 Severity: serious User: debian...@lists.debian.org Usertags: piuparts
Hi, during a test with piuparts I noticed your package failed to install 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#overwriting-files-and-replacing-packages-replaces >From the attached log (scroll to the bottom...): Preparing to unpack .../120-coqide_8.9.1-4_amd64.deb ... Unpacking coqide (8.9.1-4) ... dpkg: error processing archive /tmp/apt-dpkg-install-XoXXFb/120-coqide_8.9.1-4_amd64.deb (--unpack): trying to overwrite '/usr/bin/coqidetop', which is also in package coq 8.9.1-4 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Errors were encountered while processing: /tmp/apt-dpkg-install-XoXXFb/120-coqide_8.9.1-4_amd64.deb cheers, Andreas
coqide=8.9.1-4_coq=8.9.1-4.log.gz
Description: application/gzip
