../ kernel-default-5.1.5-2.1.g56d64ec.x86_64.rpm 29-May-2019 16:13 65M kernel-default-devel-5.1.5-2.1.g56d64ec.x86_64.rpm 29-May-2019 16:13 4M