Bug#1093827: why3 has an undeclared file conflict on /usr/lib/ocaml/why3
Package: why3
Version: 1.8.0-1
Severity: serious
User: debian-qa@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
helmut@subdivi.de for assistance.
Reply to: