Source: ssreflect Version: 1.14.0-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...): Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../0-libcoq-mathcomp-ssreflect_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-ssreflect (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/0-libcoq-mathcomp-ssreflect_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../1-libcoq-mathcomp-fingroup_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-fingroup (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/1-libcoq-mathcomp-fingroup_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/fingroup/action.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../2-libcoq-mathcomp-algebra_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-algebra (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/2-libcoq-mathcomp-algebra_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/algebra/all_algebra.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp-solvable. Preparing to unpack .../3-libcoq-mathcomp-solvable_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-solvable (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/3-libcoq-mathcomp-solvable_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/solvable/abelian.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp-field. Preparing to unpack .../4-libcoq-mathcomp-field_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-field (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/4-libcoq-mathcomp-field_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/field/algC.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp-character. Preparing to unpack .../5-libcoq-mathcomp-character_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp-character (1.14.0-5) ... dpkg: error processing archive /tmp/apt-dpkg-install-QHGYI4/5-libcoq-mathcomp-character_1.14.0-5_all.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/mathcomp/character/all_character.glob', which is also in package libssreflect-coq 1.14.0-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package libcoq-mathcomp. Preparing to unpack .../6-libcoq-mathcomp_1.14.0-5_all.deb ... Unpacking libcoq-mathcomp (1.14.0-5) ... Replacing files in old package libssreflect-coq (1.14.0-3) ... Errors were encountered while processing: /tmp/apt-dpkg-install-QHGYI4/0-libcoq-mathcomp-ssreflect_1.14.0-5_all.deb /tmp/apt-dpkg-install-QHGYI4/1-libcoq-mathcomp-fingroup_1.14.0-5_all.deb /tmp/apt-dpkg-install-QHGYI4/2-libcoq-mathcomp-algebra_1.14.0-5_all.deb /tmp/apt-dpkg-install-QHGYI4/3-libcoq-mathcomp-solvable_1.14.0-5_all.deb /tmp/apt-dpkg-install-QHGYI4/4-libcoq-mathcomp-field_1.14.0-5_all.deb /tmp/apt-dpkg-install-QHGYI4/5-libcoq-mathcomp-character_1.14.0-5_all.deb The packages seem to have Breaks: libssreflect-coq (<= 1.14.0-2) which does not match the version in testing (1.14.0-3) but they are also missing the corresponding Replaces. cheers, Andreas
libssreflect-coq=1.14.0-3_libcoq-mathcomp=1.14.0-5.log.gz
Description: application/gzip
