Your message dated Wed, 23 Aug 2023 10:37:29 +0000
with message-id <e1qylev-00haba...@fasolo.debian.org>
and subject line Bug#1050027: fixed in mathcomp-analysis 0.6.4-3
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-3
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: Wed, 23 Aug 2023 11:57:00 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.6.4-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Julien Puydt <jpu...@debian.org>
Closes: 1050027
Changes:
mathcomp-analysis (0.6.4-3) unstable; urgency=medium
.
* Add missing(?!) Replaces (Closes: #1050027).
Checksums-Sha1:
40229934f3fef5e9f176f73a54c10eaceda3a907 2425 mathcomp-analysis_0.6.4-3.dsc
eabd72448439836435ae2976ec43809b0a74c81c 9120
mathcomp-analysis_0.6.4-3.debian.tar.xz
c505226cdd280fc5bf1c26f989b47f5e88c208b0 8327
mathcomp-analysis_0.6.4-3_source.buildinfo
Checksums-Sha256:
a03593ee2318705a0981f0670d4677ea567e33b0598897ccc22b5b2f1cb6a7f2 2425
mathcomp-analysis_0.6.4-3.dsc
2ec53074e287c553197942706f67d72e3cb2b86ccec80cdee1cfb3e8e9e95324 9120
mathcomp-analysis_0.6.4-3.debian.tar.xz
2dac79c017c091eeb6aadbaa106fb7aef30e98a4dfb900a6e6a6e3e98c36453d 8327
mathcomp-analysis_0.6.4-3_source.buildinfo
Files:
f773adb732e1834ea75a144d3ead78ab 2425 ocaml optional
mathcomp-analysis_0.6.4-3.dsc
cb023885de01aa41aef96b3062701224 9120 ocaml optional
mathcomp-analysis_0.6.4-3.debian.tar.xz
64c096ce39c169b7d8aee360d3b63652 8327 ocaml optional
mathcomp-analysis_0.6.4-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTl2HISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2X4P/0cCeKfUaKHo7FyEZUa2V1V8vx6DfMYT
EOrYOdgpfe4jywNPxgQMqIZchOti3efbjbxSODVTzVB/XOB4/mcNKxbLTRwK0oVS
zKVqmJpxjDFyHcUCpvgvcJTkp9R0oSwv2xbfJuU1kcWVdH+GQQxvGPBEl4TeDVCu
mOjMS7llhlvLU5ax9ZDyf7hUSE0RlIjqkCOGZIaSgAuNU93mxsc6OV19F4KyhndM
p2a3HzqKzCspnRioFxvAs9fjryyBym5H5+56fl+zKdKIdrKfSgxxfravbnyXCu3h
7ZwwLZ8n9liyzUTmP6K/a26kuJWkZt+7Z4szljM4WEw0WF90GVcjDsqsok+3c02J
WJpu8rNatKDebHefEjt9oWZAf7PLf9piN2ogQVo6MVhO2bTZlfvBMem6XnX9H0gz
cvLzOAKyW9OCygIFgx61l2Ii2NYsDSY4+0ZpAC1Y/VcD5Rg6MlVWEQrJse5nQgkh
4aBBqcycQ/GqSee9pPHHhJtZLGKTElGsYa7Zd4zOSLQ3ZwRh/exvIw4U+DFxRikG
Ww4NBiOqYzq4G9R979zF377gzAcb6j9HFQyVYCv+TLJ2yqiKolPAU+93Y2Ainr8+
Re2ataJ4MzHcOcBs1/4QcCD4pObmUqu/xL4uonSlgL6R+5yJNcc/WYyqRi1/9GxR
/qnqiEAoIYdD
=QHOd
-----END PGP SIGNATURE-----
--- End Message ---
