../ kernel-default-4.14.15-1.1.g510de01.x86_64.rpm 14-Feb-2018 12:54 60M kernel-default-base-4.14.15-1.1.g510de01.x86_64..> 14-Feb-2018 12:54 20M kernel-default-devel-4.14.15-1.1.g510de01.x86_6..> 14-Feb-2018 12:54 4M