Ciao, possibile che sia andato tutto a posto mettendo 192.168.1.1:9999/ecc. ecc. al posto di localhost:9999 in /etc/apt/sources.list ? E comunque il file di log non mi dava nessun messaggio di errore neanche con l'opzione DEBUG decommentata.
Grazie mille e ciao Giovanni -- proud to be Micro$oft free