Bug#993041: libopenmpi3: Overwriting file which is also in package libopenmpi-dev

[Adrian Bunk]

Package: libopenmpi3
Version: 4.1.1-2
Severity: serious

...
Unpacking libopenmpi3:amd64 (4.1.1-2) over (4.1.0-10) ...
dpkg: error processing archive 
/tmp/apt-dpkg-install-o2pk7b/32-libopenmpi3_4.1.1-2_amd64.deb (--unpack):
 trying to overwrite 
'/usr/lib/x86_64-linux-gnu/openmpi/lib/libopen-orted-mpir.so', which is also in 
package libopenmpi-dev:amd64 4.1.1-2
dpkg-deb: error: paste subprocess was killed by signal (Broken pipe)
...