Devel Kernels on Tumbleweed repo not in sync

Two devel kernels on the Tumbleweed repo

Index of /repositories/openSUSE:/Tumbleweed/standard

are not in sync, In particular, there is this version clash:

kernel-desktop-devel 3.7.7-24.1

kernel-devel 3.7.8-25.1

Kernel-desktop-devel depends on kernel-devel, so I cannot install it, but I need kernel-desktop-devel because of the following bug in the NVIDIA driver:

anyone has any ideas on what is going on?

Fixed now:

uname -a
Linux laptop.knurpht 3.7.9-27-desktop #1 SMP PREEMPT Sun Feb 17 23:09:22 UTC 2013 (ae1c506) x86_64 x86_64 x86_64 GNU/Linux