Package: libcoq-paramcoq-ocaml Version: 1.1.3-5 Severity: serious User: debian...@lists.debian.org Usertags: piuparts
Hi, during a test with piuparts I noticed your package fails to upgrade from 'testing'. It installed fine in 'testing', 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/ch-relationships.html#overwriting-files-and-replacing-packages-replaces >From the attached log (scroll to the bottom...): Preparing to unpack .../libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb ... Unpacking libcoq-paramcoq-ocaml (1.1.3-5+b1) ... dpkg: error processing archive /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/Param/paramcoq.cmxs', which is also in package libcoq-paramcoq 1.1.3-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Errors were encountered while processing: /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb cheers, Andreas
libcoq-paramcoq=1.1.3-3_libcoq-paramcoq-ocaml=1.1.3-5+b1.log.gz
Description: application/gzip
