../ kernel-devel-3.13.7-4.1.ga68bc7c.noarch.rpm 05-May-2014 09:34 10179080 kernel-source-3.13.7-4.1.ga68bc7c.noarch.rpm 05-May-2014 09:34 77104331 kernel-source-vanilla-3.13.7-4.1.ga68bc7c.noarc..> 05-May-2014 09:34 85870613