Gruppo Utilizzatori Italiani di TeX
Niente da fare, il problema permane anche aggiornando da terminale.
A cosa potrebbe essere dovuto?
Ciao, Daniele