../ kernel-default-6.5.1-1.1.g78edb06.armv7hl.rpm 05-Sep-2023 14:42 99035143 kernel-default-devel-6.5.1-1.1.g78edb06.armv7hl..> 05-Sep-2023 14:42 7241537 kernel-default-livepatch-devel-6.5.1-1.1.g78edb..> 05-Sep-2023 14:42 6160399