Bug#1144092: openmpi-bin has an undeclared file conflict on /usr/share/man/man1/ompi-wrapper-compiler.1.gz

[Helmut Grohne]

Package: openmpi-bin
Version: 5.0.10-4
Severity: serious
User: debian-qa at lists.debian.org
Usertags: fileconflict
Control: affects -1 + openmpi-doc

openmpi-bin has an undeclared file conflict.  This may result in an
unpack error from dpkg.

The file /usr/share/man/man1/ompi-wrapper-compiler.1.gz is contained in
the packages
 * openmpi-bin/5.0.10-4 as present in unstable
 * openmpi-doc
   * 5.0.10-1 as present in forky
   * 5.0.7-1 as present in trixie

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

Helmut Grohne