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 2021-02-24 14:57   23K
Apache/2.4.62 (Debian) Server at deb.tuxedocomputers.com Port 80