| Filename | Modification time | Size |
|---|---|---|
| tuxedo-cc-wmi_4.4.2_all.deb | 5960 B | |
| tuxedo-drivers_4.17.0.changelog | 25 KiB | |
| tuxedo-drivers_4.17.0.copyright | 1089 B | |
| tuxedo-drivers_4.17.0.dsc | 753 B | |
| tuxedo-drivers_4.17.0.tar.xz | 68 KiB | |
| tuxedo-drivers_4.17.0_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
