../ tuxedo-drivers-4.17.0-1.8.x86_64.rpm 01-Nov-2025 23:53 18936 tuxedo-drivers-kmp-default-4.17.0_k6.17.6_1-1.8..> 01-Nov-2025 23:53 1624902 tuxedo-drivers-kmp-longterm-4.17.0_k6.12.56_1-1..> 01-Nov-2025 23:53 1593908 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