../ tuxedo-control-center-2.1.16-1.3.x86_64.rpm 10-Apr-2025 14:36 93590838 tuxedo-drivers-4.12.2-1.25.x86_64.rpm 25-Apr-2025 03:31 17728 tuxedo-drivers-kmp-default-4.12.2_k6.14.3_1.0.4..> 25-Apr-2025 03:31 2575503 tuxedo-drivers-kmp-longterm-4.12.2_k6.12.24_1.0..> 25-Apr-2025 03:31 2558596 tuxedo-touchpad-switch-1.0.9-1.4.x86_64.rpm 10-Apr-2025 14:34 34196