../ kernel-devel-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 18:12 12M kernel-macros-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 18:12 799K kernel-source-4.13.5-1.1.g9ec02e1.noarch.rpm 06-Oct-2017 18:12 97M kernel-source-vanilla-4.13.5-1.1.g9ec02e1.noarc..> 06-Oct-2017 18:12 107M