Bug#895690: libpetsc-real3.8-dev: uninstallable with current openmpi version in sid

[Drew Parsons]

p.s. you can track progress of the openmpi3 transition at 
https://release.debian.org/transitions/html/auto-openmpi.html