Comment # 9 on bug 1041443 from Michael Andres

(In reply to Jeroen Pluimers from comment #8)
> Aren't @System and openSUSE-Ports-Tumbleweed-repo-oss are effectively the
> same?
> If so: shouldn't the solver treat them like that?

Please keep in mind that the list in comment#4 was just debug output. There
'@System' simply indicates that the package is installed. The installed
kernel-default-4.11.1 is in fact the same package as provided by
openSUSE-Ports-Tumbleweed-repo-oss.


That's why zypper displays 'openSUSE-Ports-Tumbleweed-repo-oss' for the
installed 4.11.1, but @System or (System Packages) for the installed 4.4.68.
This means we don't know where 4.4.68 comes from, because none of the known
repositories provides it. You probably disabled or removed the 'devel:ARM'
repo.