../ kernel-devel-4.12.14-139.1.ge24dcd4.noarch.rpm 07-Nov-2026 07:38 22034614 kernel-macros-4.12.14-139.1.ge24dcd4.noarch.rpm 07-Nov-2026 07:38 8459102 kernel-source-4.12.14-139.1.ge24dcd4.noarch.rpm 07-Nov-2026 07:38 129315530 kernel-source-vanilla-4.12.14-139.1.ge24dcd4.no..> 07-Nov-2026 07:38 134349385