Comment # 13 on bug 1187383 from Martin Wilck

These repos aren't made for Leap. I can't install kernel-default-devel on Leap
at all:

> zypper in kernel-default-devel-5.13~rc6-2.1.gb5e23d2 
> Loading repository data...
> Reading installed packages...
> Resolving package dependencies...
> 
> Problem: nothing provides 'libc.so.6(GLIBC_2.33)(64bit)' needed by the to be installed kernel-default-devel-5.13~rc6-2.1.gb5e23d2.x86_64

The standard choice of kernels on my Leap 15.3 system looks like this (somewhat
confusing indeed):

> # zypper se -s kernel-default-devel
> Loading repository data...
> Reading installed packages...
> 
> S | Name                 | Type    | Version           | Arch   | Repository
--+----------------------+---------+-------------------+--------+-------------------------------------------------------------
> i | kernel-default-devel | package | 5.3.18-lp152.75.1 | x86_64 | (System Packages)
> v | kernel-default-devel | package | 5.3.18-59.5.2     | x86_64 | Update repository with updates from SUSE Linux Enterprise 15
> i | kernel-default-devel | package | 5.3.18-57.3       | x86_64 | leap
> v | kernel-default-devel | package | 5.3.18-24.67.3    | x86_64 | Update repository with updates from SUSE Linux Enterprise 15
> v | kernel-default-devel | package | 4.12.14-197.92.1  | x86_64 | Update repository with updates from SUSE Linux Enterprise 15
> v | kernel-default-devel | package | 4.12.14-197.89.2  | x86_64 | Update repository with updates from SUSE Linux Enterprise 15