By the way, arm-ports-ubuntu is a mirror of ports.ubuntu.com. I have checked that this is up to date. In any case, the problem described in this bug report has been happening for some time.
By the way, arm-ports-ubuntu is a mirror of ports.ubuntu.com. I have checked that this is up to date.
In any case, the problem described in this bug report has been happening for some time.