[Pkg-openmpi-maintainers] Bug#445230: Bug#445230: Bug#445230:libopenmpi-dev 1.2.4-2 compiler wrappers don't work

[Manuel Prinz]

tags 445230 + pending
thanks

Am Donnerstag, den 04.10.2007, 17:43 -0500 schrieb Dirk Eddelbuettel:
> Ah, yes, have the -dev depend on openmpi-common.  I read your mail 'the other
> way around'.  We don't want every user of -common to also have to have -dev.

Full ACK! It wouldn't solve the problem anyway. ;)

I've checked in a modified debian/control. Building and testing has to
be done tomorrow morning.

Best regards
Manuel