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: trei...@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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
