On Tue December 8 2020 23:34:18 Uwe Brauer via
tde-users wrote:
I'm on Debian not Ubuntu so I can't be certain
but it looks like
you forgot to run apt-get update first which would have told your
system to download maybe pre16 instead of pre13.
Oop, you are right, thanks for pointing that out to me. Makes a lot of sense
Uwe