../ kernel-default-4.13.5-1.1.g9ec02e1.armv7hl.rpm 06-Oct-2017 21:52 53M kernel-default-base-4.13.5-1.1.g9ec02e1.armv7hl..> 06-Oct-2017 21:52 20M kernel-default-devel-4.13.5-1.1.g9ec02e1.armv7h..> 06-Oct-2017 21:52 4M