Your message dated Thu, 10 Feb 2022 17:36:05 +0000
with message-id <e1nidmt-000bpj...@fasolo.debian.org>
and subject line Bug#1005254: fixed in ssreflect 1.14.0-6
has caused the Debian Bug report #1005254,
regarding libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces:
libssreflect-coq (<< 1.14.0-4)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1005254: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005254
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: ssreflect
Source-Version: 1.14.0-6
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
ssreflect, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1005...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpu...@debian.org> (supplier of updated ssreflect package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 10 Feb 2022 11:24:49 +0100
Source: ssreflect
Architecture: source
Version: 1.14.0-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1005254
Changes:
ssreflect (1.14.0-6) unstable; urgency=medium
.
* Fix Breaks+Replaces (Closes: #1005254).
Checksums-Sha1:
25e24fa12a6f997e32735a95ae5bddb0afb4607f 2580 ssreflect_1.14.0-6.dsc
dbe52c0834d5b717ff8580e02ad981946e52dbef 12344 ssreflect_1.14.0-6.debian.tar.xz
2edfad26f224c6d94c353630cfe3348deabbfdd0 7291
ssreflect_1.14.0-6_source.buildinfo
Checksums-Sha256:
531c2a505b27fb1bdc8b384b5bb72e55bd85cd4649099cf0881bf103a2227fde 2580
ssreflect_1.14.0-6.dsc
a3e201234d12dd00d5eeaac269f9fb71583dac562f643450ab34b7eded1c554e 12344
ssreflect_1.14.0-6.debian.tar.xz
cec9cc2244608818c10cd6901b477b255b461e995406399cdbd97f42c5e13ff7 7291
ssreflect_1.14.0-6_source.buildinfo
Files:
12ec5405ac27a933ca1531a1e5e643f0 2580 math optional ssreflect_1.14.0-6.dsc
c1e8534992c148f5a3626b92ee0e541b 12344 math optional
ssreflect_1.14.0-6.debian.tar.xz
3b00c711a2f89504aa23202d547734a7 7291 math optional
ssreflect_1.14.0-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIE6D8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNxsP/ArGqRENxSufu62Zb/IXPeMOs8BiZRJ9
ojtNLtZRll6rHsO926sC6M8aSj301OM02awwpFtj2SBaTYr5RwxWElhgBETlgJSt
Dsb9wBKWuxoC5DdilHHNl4bcQeCsBbsR29d+n7oyrDZ2e8u2rdIyAEIiriKsVdzJ
CKCHzBTO9F7PCAR7/X9h7b9wxuqVP4RW5fWYASc2UwRXGVtQMB+p9azgFQjdgey4
+Qq3UTX50EJ9luPQin4x90Bxi/aUWfCHVVgHuZy/0N07uTCgsSTAShPNi4aPrzmi
ePrFPdtLuOx8fhDVEAvQcXeGDLha33yWtOI/PAwUZIIVATtKJ+yuY2MskNGbVcrW
WF/KX7w1akEaRcnXb7WfYgh436k/T7o3T2DtsUOFReNVQ45mb4d77uyekAYUllME
w7N1W1AL06oPcQ4X1nOx87y+ZAuV6E+ru1l3l13cosIEaufFbQhwe+vH+GGOHZH1
3dgtXEQD1ecrvpgdLDyrrvbLQPBQoMqhakXj5x4ONCiDK/gGT4A21pH6Oml5Eq4s
sk35/5HzHX8qLz6I00tkc4D/YVYpkwU5eXPcPY5rk6EDEJpbNZPHjmLD6Ws13xS4
JTdol6vaceXex8bH//oTW0EDnl8jDULaNbvsLM2UnPq5jxuIbwsw4jlwIsH8qxYJ
8GtllBaArbQh
=fr0t
-----END PGP SIGNATURE-----
--- End Message ---
