../ kernel-default-6.0~rc1-1.1.g0d8dc51.ppc64le.rpm 19-Aug-2022 15:52 84M kernel-default-devel-6.0~rc1-1.1.g0d8dc51.ppc64..> 19-Aug-2022 15:52 3M kernel-default-livepatch-devel-6.0~rc1-1.1.g0d8..> 19-Aug-2022 15:52 2M