Loading repository data...
Reading installed packages...
Computing distribution upgrade...
4 Problems:
Problem: nothing provides kernel-devel = 4.13.3-4.ge890e3e needed by kernel-default-devel-4.13.3-4.1.ge890e3e.x86_64
Problem: problem with installed package kernel-default-4.4.87-25.1.x86_64
Problem: problem with installed package kernel-devel-4.4.87-25.1.noarch
Problem: problem with installed package kernel-syms-4.4.87-25.1.x86_64

Problem: nothing provides kernel-devel = 4.13.3-4.ge890e3e needed by kernel-default-devel-4.13.3-4.1.ge890e3e.x86_64
 Solution 1: Following actions will be done:
  install kernel-default-devel-4.13.3-5.1.gf3eade7.i586 despite the inferior architecture
  architecture change of kernel-default-devel-4.4.87-25.1.x86_64 to kernel-default-devel-4.13.3-5.1.gf3eade7.i586
  install kernel-default-devel-4.13.3-5.1.gf3eade7.i586 (with vendor change)
    openSUSE  -->  obs://build.opensuse.org/Kernel
  deinstallation of kernel-default-devel-4.4.87-25.1.x86_64
 Solution 2: Following actions will be done:
  deinstallation of kernel-default-devel-4.1.39-56.1.x86_64
  deinstallation of kernel-default-devel-4.4.87-25.1.x86_64
  deinstallation of dkms-2.3-8.2.noarch
 Solution 3: install kernel-default-devel-4.4.87-25.1.x86_64 from excluded repository
 Solution 4: break kernel-default-devel-4.13.3-4.1.ge890e3e.x86_64 by ignoring some of its dependencies

Choose from above solutions by number or skip, retry or cancel [1/2/3/4/s/r/c] (c):