Hello!

I played with systemtap on Leap42.1, and came across an problem that I cannot
find debuginfo package for this specific new kernel version kernel-default-4.1.13-5.1.x86_64, while it's OK for 4.1.12 version!

I tried the following:
1. on 4.1.13, `zypper in kernel-default-debuginfo' can get version 4.1.12 for me.
I failed to make systemtap work with it.

2. I searched here(http://download.opensuse.org/) for kernel-default-debuginfo of 4.1.13 version, but cannot find.

3. I had to reinstall kernel-default-4.1.12 and relative packages which I removed before, then with kernel-default-debuginfo of 4.1.12 version, systemtap
can work well. Packages available on my machine now:
laptop:/home/systemtap/systemtap/EXAMPLES/general # rpm -qa|grep kernel
kernel-default-4.1.13-5.1.x86_64
kernel-default-debuginfo-4.1.12-1.1.x86_64
kernel-firmware-20150925git-1.1.noarch
kernel-default-devel-4.1.12-1.1.x86_64
kernel-debug-devel-4.1.13-5.1.x86_64
kernel-default-4.1.12-1.1.x86_64
kernel-devel-4.1.13-5.1.noarch
kernel-macros-4.1.13-5.1.noarch
kernel-default-devel-4.1.13-5.1.x86_64
nfs-kernel-server-1.3.0-11.1.x86_64
kernel-devel-4.1.12-1.1.noarch
kernel-source-4.1.13-5.1.noarch
kernel-debug-4.1.13-5.1.x86_64

Is the 4.1.13 kernel debuginfo package missing? Or is this expected?
Please correct me if I'm wrong.