../ kernel-default-6.3.6-1.1.g85bdef2.armv7hl.rpm 05-Jun-2023 18:50 93M kernel-default-devel-6.3.6-1.1.g85bdef2.armv7hl..> 05-Jun-2023 18:50 7M kernel-default-livepatch-devel-6.3.6-1.1.g85bde..> 05-Jun-2023 18:50 6M