Se si, dove diavolo nasconde i nomi dei pacchetti da pinnare?
Ringrazio chi sa illuminarmi o almeno indicarmi dov'è la luce.
il file dove vengono tenuti i pin è
/etc/apt/preferences
per saperne di più
http://www.it.debian.org/doc/manuals/apt-howto/ch-apt-get.it.html#s-pin