Как поменять пакеты, которые пришли из PPA для предоставленных версий Ubuntu?

Смутно, я сообщил об ошибке, которая на самом деле была моей собственностью.

a ошибка

Как я могу безопасно удалить пакеты 11.0 ~ git и заменить их (если необходимо) с помощью Ubuntu, предоставленного mesa, как было предложено в комментарии к сообщение об ошибке?

Я попытался выбрать их все для удаления, но они хотят вытащить почти все пакеты в системе вместе с ними.

Я считаю (хотя и не уверен), что они пришел из этого репо, который я вижу в списке, отключен во время обновления:

$ 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

Оскорбительный PPA, похоже, является http://ppa.launchpad.net/paulo-miguel-dias/mesa/ubuntu