Your message dated Wed, 08 Jun 2022 09:35:40 +0000 with message-id <E1nys6G-0004VL-Gp@fasolo.debian.org> and subject line Bug#1012479: fixed in paramcoq 1.1.3-6 has caused the Debian Bug report #1012479, regarding libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5) 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 owner@bugs.debian.org immediately.) -- 1012479: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1012479 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5)
- From: Andreas Beckmann <anbe@debian.org>
- Date: Wed, 08 Jun 2022 04:31:23 +0200
- Message-id: <[🔎] 165465548316.14245.1919665999240378426.reportbug@zam581.zam.kfa-juelich.de>
Package: libcoq-paramcoq-ocaml Version: 1.1.3-5 Severity: serious User: debian-qa@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...): Preparing to unpack .../libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb ... Unpacking libcoq-paramcoq-ocaml (1.1.3-5+b1) ... dpkg: error processing archive /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb (--unpack): trying to overwrite '/usr/lib/ocaml/coq/user-contrib/Param/paramcoq.cmxs', which is also in package libcoq-paramcoq 1.1.3-3 dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Errors were encountered while processing: /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb cheers, AndreasAttachment: libcoq-paramcoq=1.1.3-3_libcoq-paramcoq-ocaml=1.1.3-5+b1.log.gz
Description: application/gzip
--- End Message ---
--- Begin Message ---
- To: 1012479-close@bugs.debian.org
- Subject: Bug#1012479: fixed in paramcoq 1.1.3-6
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 08 Jun 2022 09:35:40 +0000
- Message-id: <E1nys6G-0004VL-Gp@fasolo.debian.org>
- Reply-to: Julien Puydt <jpuydt@debian.org>
Source: paramcoq Source-Version: 1.1.3-6 Done: Julien Puydt <jpuydt@debian.org> We believe that the bug you reported is fixed in the latest version of paramcoq, 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 1012479@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (supplier of updated paramcoq 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 ftpmaster@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 08 Jun 2022 09:49:19 +0200 Source: paramcoq Architecture: source Version: 1.1.3-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1012479 Changes: paramcoq (1.1.3-6) unstable; urgency=medium . * Add Breaks for the package split (no Replace because they don't!) (Closes: #1012479). Checksums-Sha1: 174f44d53f92f1a8253cf3042408270eac358e4e 2159 paramcoq_1.1.3-6.dsc 34de43164fcee731925155dfcddcd7d05f6c85f6 2948 paramcoq_1.1.3-6.debian.tar.xz 72f50683b9b6bc2cef8875352c66fa441acafa9a 6710 paramcoq_1.1.3-6_source.buildinfo Checksums-Sha256: d1af4c92d5c33303009ee1160d72a995183a7d57f818e44f6733e14e1d8e42c5 2159 paramcoq_1.1.3-6.dsc 7c558aebd7ba0301f0464e4d1df2fe6968fb6f2dbd09b4f5ebe46e6884ab8fe5 2948 paramcoq_1.1.3-6.debian.tar.xz 8f1223be28ea1f000bb96cddfe815603eb01f2c1e71b53b133ee46049fe3b46a 6710 paramcoq_1.1.3-6_source.buildinfo Files: 9f697a8bf9f50384767344c42afd4dc8 2159 ocaml optional paramcoq_1.1.3-6.dsc b5182c80afaa78e72807ac568445c87d 2948 ocaml optional paramcoq_1.1.3-6.debian.tar.xz b03925ebc5b62e0681c4c1ad547ec3f7 6710 ocaml optional paramcoq_1.1.3-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKgVJwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSWYQAILkbUwTi65adnu/psiZ4l48UhYyDjM3 Ct9mQqMVPu8kF/N7bPlvVW9bjW0HQtv0T/clSVbxkMYlGdJfHq9+tCmPvngX10MT yRQv+P6fyZT61KMSHbGcPRMWaJtY6N6tBFa2SxmavB8LcVo6A/f+QgyugYZwxmOt AisvfWOY/3l13q2gS/W5d74dLwerAWmclHlgv5aqsIzVZHnxmFRBrqalD++I4meg 643NwmlUKfOeGL3BKiFkW6txQvdToT+zNRkGsDNUBO9KNKwlkpWsBPgpsrFFCMfF RzOKfzrbwojRByxfSg/ULOKehrFeciwDnF+CXR2G8HnmYkOQ/5D9WBFUxQkPrUVh CKe5TMTg7NRE32K92FOCnPhFzFfyYmPyv16LKt33S5gujLAcQ/kDfL+s03fA14IX w+eJwGF8TGxT0np6zxwcTQ9OmM7bkQrX7CzN46a/Fx7mL2imLUIsySkKNnWbgBxx nN+rK1fm2ufB0gx/4PE/mUjt5QHiorlbh/pv04zb0EWWN0y95H7hmjcc1gcX4VyC pqENykeNLukRjf6vFCGpP05vBPfJEuSmKQ113KTHLAyedGJI//EsPtqCJHqPIYHy LgrI87H3/KVdK4KWB9UiWY5ijUNKQCGxXIGMVyVNbLug/vT5BksrKKO61nByP317 4Fhgqtg+wRrk =Mdgf -----END PGP SIGNATURE-----
--- End Message ---