../ tuxedo-drivers-4.12.2-2.10.i586.rpm 14-Mar-2025 07:41 17756 tuxedo-drivers-kmp-default-4.12.2_k6.13.3_1-2.1..> 14-Mar-2025 07:41 2011972 tuxedo-drivers-kmp-pae-4.12.2_k6.13.3_1-2.10.i5..> 14-Mar-2025 07:41 2015766 tuxedo-touchpad-switch-1.0.9-2.5.i586.rpm 11-Mar-2025 22:25 34589