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




-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to