| Filename | Modification time | Size |
|---|---|---|
| tuxedo-cc-wmi_4.4.2_all.deb | 5960 B | |
| tuxedo-drivers_4.18.2.changelog | 26 KiB | |
| tuxedo-drivers_4.18.2.copyright | 1089 B | |
| tuxedo-drivers_4.18.2.dsc | 753 B | |
| tuxedo-drivers_4.18.2.tar.xz | 67 KiB | |
| tuxedo-drivers_4.18.2_all.deb | 70 KiB | |
| tuxedo-keyboard-dkms_4.4.2_all.deb | 5976 B | |
| tuxedo-keyboard-ite_4.4.2_all.deb | 5976 B | |
| tuxedo-keyboard_4.4.2_all.deb | 5968 B | |
| tuxedo-touchpad-fix_4.4.2_all.deb | 5980 B | |
| tuxedo-wmi-dkms_4.4.2_all.deb | 5968 B | |
| tuxedo-xp-xc-airplane-mode-fix_4.4.2_all.deb | 5992 B | |
| tuxedo-xp-xc-touchpad-key-fix_4.4.2_all.deb | 5992 B |
Studenten Net Twente
Mirror service
