../ kernel-default-6.3.6-1.1.g85bdef2.ppc64le.rpm 05-Jun-2023 15:25 88M kernel-default-devel-6.3.6-1.1.g85bdef2.ppc64le..> 05-Jun-2023 15:25 7M kernel-default-livepatch-devel-6.3.6-1.1.g85bde..> 05-Jun-2023 15:25 5M