../ kernel-default-4.20.rc7-1.1.gb7adfd3.ppc64.rpm 18-Dec-2018 17:40 45M kernel-default-base-4.20.rc7-1.1.gb7adfd3.ppc64..> 18-Dec-2018 17:40 12M kernel-default-devel-4.20.rc7-1.1.gb7adfd3.ppc6..> 18-Dec-2018 17:40 3M