../ tuxedo-drivers-4.4.3-lp156.3.4.x86_64.rpm 24-May-2024 09:02 13988 tuxedo-drivers-kmp-default-4.4.3_k6.4.0_150600...> 24-May-2024 09:02 1425512 tuxedo-keyboard-3.2.14-lp156.2.18.x86_64.rpm 24-May-2024 09:02 14676 tuxedo-keyboard-kmp-default-3.2.14_k6.4.0_15060..> 24-May-2024 09:02 429020