> Per quanto mi suoni improbabile, controllerei nella > directory /etc/apt/sources.list.d/ ok, non conoscevo di quella dir, ma lì è indicato il repository. avevo controllato con dpkg -L | grep /etc, ma probabilmente il file viene creato da qualche script all'installazione. grazie