@Raphael, it could be that your mirror was not updated yet?
what is output of
$ apt policy network-manager-gnome
@Raphael, it could be that your mirror was not updated yet?
what is output of
$ apt policy network- manager- gnome