../ kernel-default-5.19.1-1.1.ga80d391.armv6hl.rpm 18-Aug-2022 08:58 65246411 kernel-default-devel-5.19.1-1.1.ga80d391.armv6h..> 18-Aug-2022 08:58 5790489 kernel-default-livepatch-devel-5.19.1-1.1.ga80d..> 18-Aug-2022 08:58 4872287