I'm sorry I interrupted you. Seems to be a local mirror problem. debmirror (1:2.16ubuntu1) doesn't correctly download these files. So if there is a bug, it will be a separate bug which has nothing to do with this one.
We're debugging the problem at the moment. So I can't tell what's the problem, yet.
I'm sorry I interrupted you. Seems to be a local mirror problem. debmirror (1:2.16ubuntu1) doesn't correctly download these files. So if there is a bug, it will be a separate bug which has nothing to do with this one.
We're debugging the problem at the moment. So I can't tell what's the problem, yet.