Se você seguir esses links, poderá descobrir que eles estão realmente ausentes. Existe, no entanto, um repo para ser preciso. Por isso, sugiro pesquisar em /etc/apt/sources.list (Alt + F2 - gksu gedit /etc/apt/sources.list ) para esta linha de repositório e alterá-la raring to precise . Então sudo apt-get update mais uma vez para ver se isso fez o efeito desejado.