../ tuxedo-drivers-4.15.4-2.12.x86_64.rpm 07-Oct-2025 22:38 18368 tuxedo-drivers-kmp-default-4.15.4_k6.16.9_1.0.1..> 07-Oct-2025 22:38 1615196 tuxedo-drivers-kmp-longterm-4.15.4_k6.12.50_1.0..> 07-Oct-2025 22:38 1590391 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