[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1012479: marked as done (libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5))

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 --- 
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,

Andreas

Attachment: libcoq-paramcoq=1.1.3-3_libcoq-paramcoq-ocaml=1.1.3-5+b1.log.gz
Description: application/gzip


--- End Message ---
--- Begin Message --- 
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 ---
Reply to: