Bug#1133794: libcryptominisat5-dev and python3-cryptominisat fail to coinstall

[Helmut Grohne]

Package: libcryptominisat5-dev,python3-cryptominisat
Version: 5.11.21+dfsg1-2
Severity: serious
Justification: violates Debian policy 5.6.34.3
User: debian-qa at lists.debian.org
Usertags: fileconflict

libcryptominisat5-dev and python3-cryptominisat are declared Multi-Arch:
same, but each of them fails to coinstall with itself.

The files
 * /usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
 * /usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
are shared by libcryptominisat5-dev version 5.11.21+dfsg1-2 as present
in trixie and version 5.11.21+dfsg1-3+b1 as present in forky|unstable
varying content.

The file
/usr/lib/python3/dist-packages/pycryptosat-5.11.21.dist-info/WHEEL is
shared by python3-cryptominisat version 5.11.21+dfsg1-2 as present in
trixie and version 5.11.21+dfsg1-3+b1 as present in forky|unstable with
varying content.

Please ensure that shared files have bit-identical content across
architectures, move architecture-dependent files to
architecture-dependent paths or remove the Multi-Arch: same field.

Kind regards

Helmut Grohne