[opensuse-factory] Tumbleweed Kernel Update

Hello, Since few days I have upgraded my OpenSUSE-13.2 to Tumbleweed and I noticed the unexpected warning for kernel packages that the sources are not available. There is no update candidate for kernel-devel-4.1.5-2.1.g83fbd4e.noarch There is no update candidate for kernel-source-4.1.5-2.1.g83fbd4e.noarch Is it normal? Thanks. Cheers, -- Marco Calistri opensuse 13.2 (Tumbleweed) 64 bit - Kernel 4.1.5-2-desktop Gnome 3.16.2 Intel® Core™ i5-2410M CPU @ 2.30GHz × 4 - Intel® Sandybridge Mobile -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org