../ tuxedo-control-center-2.1.12-2.1.x86_64.rpm 05-Jul-2024 19:40 93627675 tuxedo-drivers-4.6.0-3.2.x86_64.rpm 17-Jul-2024 07:12 14173 tuxedo-drivers-kmp-default-4.6.0_k6.9.7_1-3.2.x..> 17-Jul-2024 07:12 1363804 tuxedo-drivers-kmp-longterm-4.6.0_k6.6.37_1-3.2..> 17-Jul-2024 07:12 1151971