Index of /debian/pool/main/t/tuxedo-reboot-into-grub

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                           -   
[   ] tuxedo-reboot-into-grub_1.0.0_all.deb 2025-11-10 17:38  5.3K  
[   ] tuxedo-reboot-into-grub_1.0.0.tar.xz  2025-11-10 17:38  5.4K  
[TXT] tuxedo-reboot-into-grub_1.0.0.dsc     2025-11-10 17:38  854
Apache/2.4.65 (Debian) Server at deb.tuxedocomputers.com Port 80