On Thu, Nov 20, 2008 at 11:14 AM, Manuel Prinz <[EMAIL PROTECTED]> wrote:
> Am Mittwoch, den 19.11.2008, 09:05 -0600 schrieb Dirk Eddelbuettel:
>> I think we should put either debian or mpi first. How about
>>
>> mpi-default-{dev,bin}
>>
>> or even
>>
>> mpi-debian-default-{dev,bin}
>>
>> to make it even clearer that it is just 'us' (ie Debian) defining a default
>> for us, rather misconstruing that more than two decades (I'm guessing) of
>> competing mpi implementations have ended ? ;-)
>
> Good guessing. But I'm confident we can solve that problem in one way or
> another in a shorter time frame.
>
>> Comments ?
>
> Well, why not debian-default-mpi-{bin,dev}? ;)
>
> Seriously, I do not care that much. A name is a name. If we're lucky,
> the package might be gone by release of Squeeze.
I like Dirk's suggestion more:
mpi-default-{dev,bin}
But as you said, a name is just a name.
Thanks Adam for pushing this forward and everything you do for Debian.
Ondrej
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
