Comment # 7 on bug 1202116 from
I can reproduce this issue on a fresh Leap 15.3 installation. I have no idea
why YaST/zypper doesn't list 

  kernel-default-devel 5.3.18-57.3

It's in http://download.opensuse.org/distribution/leap/15.3/repo/oss/x86_64/

  kernel-devel

is in http://download.opensuse.org/distribution/leap/15.3/repo/oss/noarch/

# zypper repos -u|grep repo-oss
10 | repo-oss                        | Main Repository      | Yes     | (r )
Yes  | Yes     | http://download.opensuse.org/distribution/leap/15.3/repo/oss/

#  # zypper packages repo-oss|grep kernel-devel
v  | Main Repository | kernel-devel                                            
  | 5.3.18-59.10.1                                                    | noarch
   | Main Repository | kernel-devel-azure                                      
  | 5.3.18-38.8.1                                                     | noarch
   | Main Repository | kernel-devel-rt                                         
  | 5.3.18-8.13.1                                                     | noarch
# zypper packages repo-oss|grep kernel-default-devel
v  | Main Repository | kernel-default-devel                                    
  | 5.3.18-59.10.1                                                    | x86_64


You are receiving this mail because: