../ tuxedo-drivers-4.4.3-3.5.x86_64.rpm 24-May-2024 09:02 14043 tuxedo-drivers-kmp-default-4.4.3_k6.8.9_1-3.5.x..> 24-May-2024 09:02 1264562 tuxedo-keyboard-3.2.14-2.17.x86_64.rpm 24-May-2024 09:02 13040 tuxedo-keyboard-kmp-default-3.2.14_k6.8.9_1-2.1..> 24-May-2024 09:02 407479