Your message dated Sun, 02 Feb 2025 07:07:17 +0000
with message-id <e1teu4b-008vjq...@fasolo.debian.org>
and subject line Bug#1093827: fixed in why3 1.8.0-2
has caused the Debian Bug report #1093827,
regarding why3 has an undeclared file conflict on /usr/lib/ocaml/why3
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.)
--
1093827: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093827
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: why3
Version: 1.8.0-1
Severity: serious
User: debian...@lists.debian.org
Usertags: fileconflict
Control: affects -1 + libwhy3-ocaml-dev why3-coq
why3 has an undeclared file conflict. This may result in an unpack error
from dpkg.
The file /usr/lib/ocaml/why3 is contained in the packages
* libwhy3-ocaml-dev
* 1.3.3-1+b4 as present in bullseye
* 1.5.1-1+b2 as present in bookworm
* why3/1.8.0-1 as present in unstable
* why3-coq/1.3.3-1+b4 as present in bullseye
These packages can be unpacked concurrently, because there is no
relevant Replaces or Conflicts relation. Attempting to unpack these
packages concurrently results in an unpack error from dpkg, because none
of the packages installs a diversion for the affected file.
Kind regards
The Debian Usr Merge Analysis Tool
This bug report has been automatically filed with no human intervention.
The source code is available at https://salsa.debian.org/helmutg/dumat.
If the filing is unclear or in error, don't hesitate to contact
hel...@subdivi.de for assistance.
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.8.0-2
Done: Stéphane Glondu <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
why3, 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 1093...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated why3 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: Sun, 02 Feb 2025 07:37:18 +0100
Source: why3
Architecture: source
Version: 1.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Closes: 1093827
Changes:
why3 (1.8.0-2) unstable; urgency=medium
.
* Team upload
* Add Breaks+Replaces to avoid file conflict (Closes: #1093827)
Checksums-Sha1:
1b12ffb566013867cfc53f3451191cc4e9068a3e 2140 why3_1.8.0-2.dsc
c8dbea5c140a5b865c0574e06bbedb590a26cdb3 18892 why3_1.8.0-2.debian.tar.xz
Checksums-Sha256:
2a93e87d375c27c523af58c62d916fc90701b011967a162965f5b850120f88c0 2140
why3_1.8.0-2.dsc
6ef015e06626ed4c6e7b91708e7cf6d4c7b0d834363c7e6c20f61d7cc6bda7c6 18892
why3_1.8.0-2.debian.tar.xz
Files:
1f95bb94a52fa64d9d65408ff7264cd0 2140 math optional why3_1.8.0-2.dsc
fbbc9a7ba8648da9221d4196d8258cde 18892 math optional why3_1.8.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmefFVMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBHacH/0LcOVwFm1terzyGZjyFm7tN6leJ2Ofj
88+iV/Tzz4IpUfPqL99Z7LDdXdPzonta8TXRv7JwJ+opCxRf9azU7wkMzM/71HKy
qNziIBd8R834hnu7UXd1nwF0asv+bAoE6A7Zn1HhFywG2bYQed720vftibFzcxa8
DgAwJcMgWkFcHchvqugKU6h5wikH5mcsCL6qAUL/HP2yva1Rp7LPacPsjFfehAPq
FVgyAFwDf2DWiEclFwTG3C3rZsWORgzz1k4Ca9vhjzIX2RUYUYVGfxnLQZ1A1s8I
44dJf/JE1bM4eTvDV2ZX2GKN3YO+QDWIygLhSmP8XgHbcUBdcQXOo1Y=
=CxNv
-----END PGP SIGNATURE-----
pgpu9Mz5WNlE8.pgp
Description: PGP signature
--- End Message ---
