../ tuxedo-drivers-4.12.0-1.1.x86_64.rpm 18-Jan-2025 18:00 15245 tuxedo-drivers-kmp-default-4.12.0_k6.12.9_1-1.1..> 18-Jan-2025 18:00 1591636 tuxedo-drivers-kmp-longterm-4.12.0_k6.6.71_1-1...> 18-Jan-2025 18:00 1317789 tuxedo-keyboard-3.2.14-2.43.x86_64.rpm 06-Aug-2024 05:46 12448 tuxedo-keyboard-kmp-default-3.2.14_k6.9.9_1-2.4..> 06-Aug-2024 05:46 425586