Hrm, something must be wrong in OBS publishing. But if you want to try now, you can fetch the packages via osc command-line. Install osc package, then get the binaries via osc getbinaries home:tiwai:bsc1177973/kernel-default/standard/x86_64