I should have noted that I get the same problem with “sudo apt-get dist-upgrade” as with “sudo apt-get upgrade” …
I should have noted that I get the same problem with “sudo apt-get dist-upgrade” as with “sudo apt-get upgrade” …