../ tuxedo-drivers-4.17.0-1.30.x86_64.rpm 30-Jan-2026 17:29 18932 tuxedo-drivers-kmp-default-4.17.0_k6.18.7_1.0.8..> 30-Jan-2026 17:29 1634301 tuxedo-drivers-kmp-longterm-4.17.0_k6.12.67_1.0..> 30-Jan-2026 17:29 1595803 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