../ kernel-devel-4.11.8-1.1.g42bd7a0.noarch.rpm 25-Jul-2017 11:01 12M kernel-macros-4.11.8-1.1.g42bd7a0.noarch.rpm 25-Jul-2017 11:01 737K kernel-source-4.11.8-1.1.g42bd7a0.noarch.rpm 25-Jul-2017 11:01 91M kernel-source-vanilla-4.11.8-1.1.g42bd7a0.noarc..> 25-Jul-2017 11:01 102M