Control: severity -1 normal On Sun, Nov 24, 2013 at 02:39:37PM +0100, Michael Banck wrote: > > 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
It has just been removed. Kind regards Philipp Kern
signature.asc
Description: Digital signature
