Quando você adiciona uma fonte diferente em /etc/apt/sources.list
; você também teria que executar o seguinte comando no terminal:
sudo apt-get update
Isso recupera a nova lista de pacotes e sabe quais são os diferentes pacotes disponíveis para instalação e onde baixá-los.
Depois de executar o comando acima, você poderá continuar com a instalação de tinyos
:
sudo apt-get install tinyos