[Tinyos-help] Difficulty with Stanford repo?

[Andrew]

Hello. I am attempting to install the TinyOS source tree and toolchain 
from the Stanford ubuntu repository. The packages show up fine (in 
synaptic), but it seems that one package cannot be located: 
msp430tools-gcc . There appears to be an available package called 
"msp430tools-gcc-tinyos", which I would assume is the same thing, but 
with a slightly modified name?
Is this the case, and if so, is there a workaround?

Thanks,
Andrew Pullin