As now everything is okay with the Update Manager
Going forward I always use the commands:
sudo apt-get update
sudo apt-get dist-upgrade

or

sudo apt-get update
sudo apt-get upgrade

Reply via email to