../ kernel-default-6.4.1-1.1.g6fd2851.armv7hl.rpm 05-Jul-2023 20:44 90M kernel-default-devel-6.4.1-1.1.g6fd2851.armv7hl..> 05-Jul-2023 20:44 3M kernel-default-livepatch-devel-6.4.1-1.1.g6fd28..> 05-Jul-2023 20:45 2M