2020-03-02, 07:53 AM
There must have been a glitch somewhere- had the same thing last night, but after half an hour it worked normally again.
Interestingly, new packages were seen by apt-get upgrade...
Interestingly, new packages were seen by apt-get upgrade...