../ kernel-default-4.20.rc7-1.1.gb7adfd3.armv7hl.rpm 18-Dec-2018 19:16 46M kernel-default-base-4.20.rc7-1.1.gb7adfd3.armv7..> 18-Dec-2018 19:16 21M kernel-default-devel-4.20.rc7-1.1.gb7adfd3.armv..> 18-Dec-2018 19:16 4M