../ kernel-default-5.1.5-2.1.g56d64ec.armv7hl.rpm 29-May-2019 18:07 46M kernel-default-devel-5.1.5-2.1.g56d64ec.armv7hl..> 29-May-2019 18:07 4M