Bug#724273: libopenmpi-dbg: not installable in sid

2013-11-24 Thread Philipp Kern
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 sou

Processed: Re: Bug#724273: libopenmpi-dbg: not installable in sid

2013-11-24 Thread Debian Bug Tracking System
Processing control commands: > severity -1 normal Bug #724273 [ftp.debian.org] RM: libopenmpi-dbg -- NBS Severity set to 'normal' from 'grave' -- 724273: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=724273 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSC

Bug#724273: libopenmpi-dbg: not installable in sid

2013-11-24 Thread 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: trei...@debian.org > Usertags: edos-outdated > > Hello, > > libopenmpi-dbg is no longe

Bug#724273: libopenmpi-dbg: not installable in sid

2013-09-23 Thread Ralf Treinen
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. -Ralf. -- To UNSUBSCRIBE, email to