x4b <x4b@fabiovazzana.com> wrote: [...] > Ad ogni modo se devi installare e aggiornare diversi pacchetti è > meglio usare il pinning col file /etc/apt/preferences, se non sai > come editarlo puoi seguire questa guida sul wiki di Debian: > http://wiki.debian.org/AptPinning. A posto grazie.