../ kernel-default-6.3.6-1.1.g85bdef2.ppc64.rpm 05-Jun-2023 15:32 90M kernel-default-devel-6.3.6-1.1.g85bdef2.ppc64.rpm 05-Jun-2023 15:32 6M kernel-default-livepatch-devel-6.3.6-1.1.g85bde..> 05-Jun-2023 15:32 5M