This bug seems related to a packages never released with Ubuntu (that is avr-binutils-tinyos) so I closed this bug.
This bug seems related to a packages never released with Ubuntu (that is avr-binutils- tinyos) so I closed this bug.