Il retroscena è che i normali driver GPU Intel non eseguono le varie estensioni OpenGL che il mio codice hobby e alcuni giochi vogliono. Quindi devo installare xorg-edger e poi è felice. Tuttavia, mercoledì scorso circa c'è stato un aggiornamento di xorg-edgers - molti pacchetti - e si è rotto male; i driver si bloccano e portano con sé l'intero computer; hard reset richiesto.
Quindi, come è possibile effettuare il downgrade: selezionare le versioni del pacchetto in un PPA che rappresentano un punto nel passato, ignorando le versioni più recenti di quella?