../ tuxedo-drivers-4.12.2-1.22.x86_64.rpm 16-Apr-2025 07:14 15486 tuxedo-drivers-kmp-default-4.12.2_k6.14.0_1-1.2..> 16-Apr-2025 07:14 1620848 tuxedo-drivers-kmp-longterm-4.12.2_k6.12.21_1-1..> 16-Apr-2025 07:14 1596311 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