mi ha pinnato un tot di pacchetti, ed adesso apt-get dist-upgrade vorrebbe rimuovermi 1Giga di pacchetti, come faccio a depinnare i pacchetti pinnati? grazie Red