../ kernel-default-6.15.6-1.1.g5db5d25.ppc64le.rpm 15-Jul-2025 12:27 97179452 kernel-default-devel-6.15.6-1.1.g5db5d25.ppc64l..> 15-Jul-2025 12:27 6834105 kernel-default-livepatch-devel-6.15.6-1.1.g5db5..> 15-Jul-2025 12:27 20812672