../ tuxedo-drivers-4.12.2-1.13.x86_64.rpm 15-Mar-2025 14:54 15491 tuxedo-drivers-kmp-default-4.12.2_k6.13.6_1-1.1..> 15-Mar-2025 14:54 1613639 tuxedo-drivers-kmp-longterm-4.12.2_k6.12.18_1-1..> 15-Mar-2025 14:54 1595993 tuxedo-keyboard-3.2.14-2.170.x86_64.rpm 28-Jul-2024 06:27 12459 tuxedo-keyboard-kmp-default-3.2.14_k6.9.9_1-2.1..> 28-Jul-2024 06:27 425598