Index of /ubuntu/pool/main/t/tuxedo-wmi-dkms

Icon  Name                          Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] tuxedo-wmi-dkms_1.5.1_all.deb 2019-05-13 13:44 23K
Apache/2.4.38 (Debian) Server at deb.tuxedocomputers.com Port 443