../ kernel-devel-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 20:26 12384461 kernel-macros-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 20:26 818520 kernel-source-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 20:26 101413350 kernel-source-vanilla-4.13.5-1.1.g9ec02e1.noarc..> 06-Oct-2017 20:26 112699402