Comment échanger des packages provenant d'un PPA pour les versions fournies par Ubuntu?
Embarrassant, j'ai signalé n bug qui était en fait mon propre fait.
Comment puis-je supprimer en toute sécurité les paquets 11.0 ~ git et les remplacer (si nécessaire) par mesa fourni par Ubuntu comme suggéré dans le commentaire sur le rapport de bogue?
J'ai essayé de les sélectionner tous pour les retirer, mais ils veulent retirer presque tous les paquets du système avec eux.
Je crois (bien que pas certain) qu'ils proviennent de ce repo que je vois dans la liste, désactivé lors de la mise à niveau:
$ Sudo ppa-purge ppa:paulo-miguel-dias/mesa
Updating packages lists
PPA to be removed: paulo-miguel-dias mesa
Warning: Could not find package list for PPA: paulo-miguel-dias mesa
Le PPA incriminé semble être http://ppa.launchpad.net/paulo-miguel-dias/mesa/ubunt
Installez PPA Purge à l'aide de Sudo apt install ppa-purge. Utilisez ensuite ppa-purge pour purger le PPA incriminé (padoka PPA) et restaurer les fichiers trouvés dans les référentiels Ubuntu en utilisant Sudo ppa-purge ppa:paulo-miguel-dias/mesa.