On Sun, 14 Oct 2018, Patrick Menier wrote:
Tu as bien fait un apt update avant le apt upgrade ?
d'habitude, je le fais, mais cette j'ai oublié ! est-ca que ça pourrait être la cause du problème? en tous cas, "apt-get dist-upgrade" marche bien Cordialement, -- Pierre Frenkiel