On Sat, 2014-02-08 at 08:36 -0600, Bruno Wolff III wrote: > The nodebug repo has repo data but no kernel rpms. Maybe something went > wrong with the last build? It should be fixed now, thanks. The latest kernel is building now. Justin