[Pkg-openmpi-maintainers] Bug#724273: libopenmpi-dbg: not installable in sid

[Ralf Treinen]

Package: libopenmpi-dbg
Version: 1.4.5-1
Severity: grave
User: treinen at debian.org
Usertags: edos-outdated

Hello,

libopenmpi-dbg is no longer installable in sid since it depends on 
openmpi-bin (= 1.4.5-1). However, sid has now version 1.6.5-5 of
openmpi-sid.

-Ralf.