Bug#1004463: python3-jsondiff,cbmc: File conflict for /usr/bin/jdiff

[Axel Beckert]

Package: python3-jsondiff,cbmc
Version: python3-jsondiff/1.3.1-1
Version: cbmc/5.12-5
Severity: serious

Upgrading python3-jsondiff from 1.1.1-4 to 1.3.1-1 fails for me as
follows:

Preparing to unpack .../python3-jsondiff_1.3.1-1_all.deb ...
Unpacking python3-jsondiff (1.3.1-1) over (1.1.1-4) ...
dpkg: error processing archive /var/cache/apt/archives/python3-jsondiff_1.3.1-1_all.deb (--unpack):
 trying to overwrite '/usr/bin/jdiff', which is also in package cbmc 5.12-5

(Note: There might be more file conflict than this one between those two
packages, because dpkg already aborts on the first conflict and doesn't
report potential further ones. Typical example: program and man pages)

Since I suspect that these two variants of "jdiff" do completely
different things, it's probably no option to use the alternatives system
in this case.

Which leaves the following options:

* Renaming the file in either or both packages.

* Making the packages conflict with each other. (Suffices to be fixed in
  one package.)

-- System Information:
Debian Release: bookworm/sid
  APT prefers unstable
  APT policy: (990, 'unstable'), (600, 'testing'), (500, 'unstable-debug'), (500, 'buildd-unstable'), (110, 'experimental'), (1, 'experimental-debug'), (1, 'buildd-experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.15.0-2-amd64 (SMP w/4 CPU threads)
Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
LSM: AppArmor: enabled

Versions of packages python3-jsondiff depends on:
ii  python3  3.9.8-1

python3-jsondiff recommends no packages.

python3-jsondiff suggests no packages.

-- no debconf information