Bug#1143823: install fails: path /usr/lib/x86_64-linux-gnu/openmpi/include does not exist

Package: libopenmpi-dev
Version: 5.0.10-3
Severity: serious

Looks like something got missed in the new build of the package:


$ sudo dpkg -i /var/cache/apt/archives/libopenmpi-dev_5.0.10-3_amd64.deb 
(Reading database… 850627 files and directories currently installed.)
Preparing to unpack …/libopenmpi-dev_5.0.10-3_amd64.deb…
Unpacking libopenmpi-dev (5.0.10-3) over (5.0.10-3)…
Setting up libopenmpi-dev (5.0.10-3)…
update-alternatives: error: alternative path /usr/lib/x86_64-linux-gnu/openmpi/include does not exist
dpkg: error processing package libopenmpi-dev (--install):
 old libopenmpi-dev package postinst maintainer script subprocess failed with exit status 2
Processing triggers for man-db (2.13.1-1)…
Errors were encountered while processing:
 libopenmpi-dev



-- System Information:
Debian Release: forky/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 7.1.5+deb14-amd64 (SMP w/8 CPU threads; PREEMPT)
Locale: LANG=en_AU.UTF-8, LC_CTYPE=en_AU.UTF-8 (charmap=UTF-8), LANGUAGE=en_AU:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libopenmpi-dev depends on:
ii  gfortran [gfortran-mod-16]     4:16.1.0-3
ii  gfortran-15 [gfortran-mod-16]  15.3.0-2
ii  gfortran-16 [gfortran-mod-16]  16.1.0-3
ii  libevent-dev                   2.1.13-stable-1
ii  libhwloc-dev                   2.14.0-2
ii  libibverbs-dev                 63.0-2
ii  libjs-jquery                   3.7.1+dfsg+~3.5.33-1
ii  libjs-jquery-ui                1.14.2+dfsg-1
ii  libopenmpi40                   5.0.10-3
ii  libprrte-dev                   4.1.1~rc2-6
ii  openmpi-bin                    5.0.10-3
ii  openmpi-common                 5.0.10-3
ii  zlib1g-dev                     1:1.3.dfsg+really1.3.2-3

Versions of packages libopenmpi-dev recommends:
ii  libcoarrays-openmpi-dev  2.10.3-4+b1

Versions of packages libopenmpi-dev suggests:
ii  openmpi-doc  5.0.10-3

-- no debconf information