../ tuxedo-drivers-4.9.0-1.2.x86_64.rpm 23-Oct-2024 13:14 14851 tuxedo-drivers-kmp-default-4.9.0_k6.11.3_1-1.2...> 23-Oct-2024 13:14 1513698 tuxedo-drivers-kmp-longterm-4.9.0_k6.6.56_1-1.2..> 23-Oct-2024 13:14 1268263 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