Mouais... vous auriez pu faire mieux pour rajouter les dépôts, un truc plus "classe" que quand on sait le faire on passe pour un pro, "l'élu" !

dans un terminal tapez :
sudo gedit /etc/apt/sources.list

Rajoutez le dépôt, puis enregistrez...
Dans le terminal tapez ensuite :
sudo apt-get update

Et voila le travail !