../ kernel-default-6.15.6-1.1.g5db5d25.x86_64.rpm 15-Jul-2025 12:29 156786844 kernel-default-devel-6.15.6-1.1.g5db5d25.x86_64..> 15-Jul-2025 12:29 8060713 kernel-default-livepatch-devel-6.15.6-1.1.g5db5..> 15-Jul-2025 12:29 26461597 kernel-default-vdso-6.15.6-1.1.g5db5d25.x86_64.rpm 15-Jul-2025 12:29 3900069