../ kernel-default-5.19.1-1.1.ga80d391.x86_64.rpm 18-Aug-2022 06:22 120M kernel-default-devel-5.19.1-1.1.ga80d391.x86_64..> 18-Aug-2022 06:22 7M kernel-default-livepatch-devel-5.19.1-1.1.ga80d..> 18-Aug-2022 06:22 6M kernel-default-vdso-5.19.1-1.1.ga80d391.x86_64.rpm 18-Aug-2022 06:22 3M