Your message dated Sat, 19 Aug 2023 17:29:26 +0000
with message-id <e1qxplo-000qeo...@fasolo.debian.org>
and subject line Bug#1050027: fixed in mathcomp-analysis 0.6.4-2
has caused the Debian Bug report #1050027,
regarding libcoq-mathcomp-classical: undeclared file conflict with
libcoq-mathcomp-analysis/bookworm+trixie
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.)
--
1050027: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050027
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: libcoq-mathcomp-classical
Version: 0.6.4-1+b1
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libcoq-mathcomp-analysis
libcoq-mathcomp-classical starts to ship the following files:
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.vo
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.glob
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.v
/usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.vo
They happen to also be part of libcoq-mathcomp-analysis as part of
bookworm and trixie. There is no Conflicts nor Replaces relation
addressing this conflict nor are there any diversions. As such, this
situation can result in unpack errors in an upgrade scenario.
Judging from the changelog (saying "package split") you mean to
restructure and therefore replace these files. If you agree, please add
the necessary Breaks+Replaces relations.
Helmut
--- End Message ---
--- Begin Message ---
Source: mathcomp-analysis
Source-Version: 0.6.4-2
Done: Julien Puydt <jpu...@debian.org>
We believe that the bug you reported is fixed in the latest version of
mathcomp-analysis, 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 1050...@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 mathcomp-analysis 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: Sat, 19 Aug 2023 17:43:17 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.6.4-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1050027
Changes:
mathcomp-analysis (0.6.4-2) unstable; urgency=medium
.
* Add missing Breaks (Closes: #1050027).
Checksums-Sha1:
e0f02fd8f8a4e2da7d6b4f86adc5a8bb32a72142 2425 mathcomp-analysis_0.6.4-2.dsc
d41aa73dc997fd2129904a43e07baa8b27109767 9092
mathcomp-analysis_0.6.4-2.debian.tar.xz
de23cbbe0bae1468588e12c3ec331589c438c0a2 8327
mathcomp-analysis_0.6.4-2_source.buildinfo
Checksums-Sha256:
969584b762ec94d4291e36c2f0c8e2a6478e6ab97a7d164c7a870f52adc3dddb 2425
mathcomp-analysis_0.6.4-2.dsc
beadba78be8b42c9206530a3cc224a78c4b70385ff88e8f6b2406b7a444f60c8 9092
mathcomp-analysis_0.6.4-2.debian.tar.xz
7fa489459dbf58a91f40658a43c3730a2d2e5fea18d7c4989bcb7ca2264897af 8327
mathcomp-analysis_0.6.4-2_source.buildinfo
Files:
3f8e1a4b4b97ae63c0e245d59761e2ec 2425 ocaml optional
mathcomp-analysis_0.6.4-2.dsc
63e7e3131d3be6cc5289b7054730fdbc 9092 ocaml optional
mathcomp-analysis_0.6.4-2.debian.tar.xz
65aff004a0765f847aed7a3ab7bd98a2 8327 ocaml optional
mathcomp-analysis_0.6.4-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTg4zMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRM0sQAIkF0ekS3pVODtXlqV/Dh4Hp9xtoMnLP
HonQTuc0E0ufRqfXU6uypGZwErQ3/JkKnPo6xMd0AmdQwi0mU8sAjClQPTZSFAIz
5j9qzymqm5gkUEpMczrHUHCZrMY+TR4ZUi+1G3ub1UC8dtWsVO8UXw4lAUqmvdq/
XPsHFQbMWKb7IGnMiq7SFaxdawMvPsMVee+lIKrDWiE4/cOoupfmYDFbsBM2325J
u0bgItqj28uHvASdN78KVWRLeMCl50PrK6RP3q+DzsgKUsl6KCu6jtW94UgT841O
M9CK15fmVPhGkFxu1v6+H4+U72dt0XRqpx1tIHsyE1tlfuvaZ5FnWhQC/P5XVTTq
nTSGCe4tFRf2F0C590VTwVSCVZK9ENbY72oi4aae/KgXR+/vTxCzRaQlskuUiVrw
oxl8XlOADAw2b2YE+DPRaXTIvIQ3xZgtU2v4m3NJN853mMiHhRPivUH7J49ztJ4b
mw6sJG5B83vRN3SUTaVNn5gED4FXToirmSGWYnOOPUDUVVyBVAdB4oNYBZgIQPXQ
fZCfs3C4jrwvQ9EjtWK6tn090nKOsYK7zBaxHB7DMEyk5JpfcLjQxbyUCA0abwSG
+BsLs3d6ScVvUt0tXlHLhkDgRsKJoTafj9js6ix6DYhs/bCYGDCICyIEZhyclCCq
MWwNzzpzrgBp
=m5oI
-----END PGP SIGNATURE-----
--- End Message ---
