../ kernel-default-4.18.16-1.1.gbd19c86.x86_64.rpm 14-Nov-2018 17:48 66605260 kernel-default-base-4.18.16-1.1.gbd19c86.x86_64..> 14-Nov-2018 17:48 25744836 kernel-default-devel-4.18.16-1.1.gbd19c86.x86_6..> 14-Nov-2018 17:48 4606028