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

[Michael Banck]

reassign 724273 ftp.debian.org
retitle 724273 RM: libopenmpi-dbg -- NBS

Hi,

On Mon, Sep 23, 2013 at 09:01:12AM +0200, Ralf Treinen wrote:
> 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.

It is also no longer built from the openmpi source, so should get
removed instead I think. Reassigning to ftp.debian.org


Michael