Io sono stato diversi anni con quel repository ed e' andato sempre bene. Il vantaggio e' che poi si aggiorna sempre automaticamente, cosa che ha sempre funzionato con il mio vecchio pc.

Adesso su un altra macchina non va piu'. Se la cosa non si sistema, ricorrerro' anche io al *.deb, pero' purtroppo cosi' non usufruiro' degli aggironamenti automatici, ma mi tocchera' sempre scaricare a mano le versioni aggiornate.

Comunque grazie per la tua testimonianza.