../ kernel-default-6.11~rc4-1.1.g7b0cb95.x86_64.rpm 19-Aug-2024 00:31 177909514 kernel-default-devel-6.11~rc4-1.1.g7b0cb95.x86_..> 19-Aug-2024 00:31 4039993 kernel-default-vdso-6.11~rc4-1.1.g7b0cb95.x86_6..> 19-Aug-2024 00:31 337206