../ tuxedo-drivers_4.12.2+ni1.dsc 30-Apr-2025 17:54 1047 tuxedo-drivers_4.12.2+ni1.tar.xz 30-Apr-2025 17:54 63600 tuxedo-drivers_4.12.2+ni1_all.deb 30-Apr-2025 17:54 64272