J'ai fini par récupérer les médias que j'ai trouvé sur cette page et qui datent d'il y a un mois, mais j'avais les mêmes résultats avec mes anciens médias.
[root@localhost luis]# urpmi anjuta
Tout est déjà installé
[root@localhost luis]# rpm -q 'anjuta'
le paquetage anjuta n'est pas installé
(…)