A história de fundo é que os drivers normais da GPU Intel não executam as várias extensões OpenGL que meu código de hobby e alguns jogos desejam. Então eu tenho que instalar o xorg-edgers e então fica feliz. No entanto, na última quarta-feira, houve uma atualização para o xorg-edgers - muitos pacotes - e ele quebrou muito; os drivers travam e levam o computador inteiro com eles; reinicialização total necessária.
Então, como você pode fazer o downgrade - selecione versões de pacotes em um PPA que representem um ponto no passado, ignorando versões mais recentes que isso?