Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie)
Your message dated Wed, 23 Aug 2023 10:37:29 + with message-id 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 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 (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 Changed-By: Julien Puydt 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
Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie)
Your message dated Sat, 19 Aug 2023 17:29:26 + with message-id 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 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 (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 Changed-By: Julien Puydt 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
