Y a-t-il d'autres radios internet sur le gestionnaire de logiciels Ubuntu en dehors de Gradio qui ne s'ouvre jamais et continue de planter. Et je n'ai pas trouvé non plus radiotray là-dedans, que j'ai sur mon système Mint. Y a-t-il un dépôt qui a la dernière version qui fonctionnera sur 17.10?
Faites-le moi savoir, merci.
