../ kernel-default-5.1.5-2.1.g56d64ec.ppc64.rpm 29-May-2019 16:57 45M kernel-default-devel-5.1.5-2.1.g56d64ec.ppc64.rpm 29-May-2019 16:57 4M