Name Last modified Size DescriptionApache/2.4.57 (Debian) Server at deb.tuxedocomputers.com Port 443
Parent Directory - r8125_9.011.01-1tux2.debian.tar.xz 2023-10-18 16:03 3.8K r8125_9.011.01-1tux2.dsc 2023-10-18 16:03 1.8K r8125_9.011.01.orig.tar.xz 2023-10-18 16:03 94K tuxedo-r8125-dkms_9.009.00-1tux2_all.deb 2022-05-17 18:15 92K tuxedo-r8125-dkms_9.011.01-1tux2_all.deb 2023-10-18 16:03 100K