../ kernel-default-6.13.6-7.1.g4f5e418.x86_64.rpm 14-Mar-2025 14:08 150863097 kernel-default-devel-6.13.6-7.1.g4f5e418.x86_64..> 14-Mar-2025 14:08 7552586 kernel-default-livepatch-devel-6.13.6-7.1.g4f5e..> 14-Mar-2025 14:08 25415168 kernel-default-vdso-6.13.6-7.1.g4f5e418.x86_64.rpm 14-Mar-2025 14:08 3495192