../ tuxedo-drivers-4.17.0-1.3.x86_64.rpm 19-Oct-2025 20:06 31808 tuxedo-drivers-kmp-default-4.17.0_k6.17.3_1.0.6..> 19-Oct-2025 20:06 163456 tuxedo-drivers-kmp-longterm-4.17.0_k6.12.53_1.0..> 19-Oct-2025 20:06 163222