../ kernel-default-4.19.12-1.1.gc634493.armv7hl.rpm 23-Jan-2019 10:17 58529540 kernel-default-base-4.19.12-1.1.gc634493.armv7h..> 23-Jan-2019 10:17 24351657 kernel-default-devel-4.19.12-1.1.gc634493.armv7..> 23-Jan-2019 10:17 4680344