../ tuxedo-drivers-4.6.0-3.3.x86_64.rpm 20-Jul-2024 14:07 14064 tuxedo-drivers-kmp-default-4.6.0_k6.9.9_1-3.3.x..> 20-Jul-2024 14:07 1357956 tuxedo-drivers-kmp-longterm-4.6.0_k6.6.40_1-3.3..> 20-Jul-2024 14:07 1146229 tuxedo-keyboard-3.2.14-2.38.x86_64.rpm 20-Jul-2024 14:06 12448 tuxedo-keyboard-kmp-default-3.2.14_k6.9.9_1-2.3..> 20-Jul-2024 14:06 425586