Index of /debian/pool/main/t/tuxedo-grub-theme

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 tuxedo-grub-theme_1.0-1tux1.tar.gz       2026-04-24 10:35   12M  
 tuxedo-grub-theme_1.0-1tux1_all.deb      2026-04-24 10:35  839K  
 tuxedo-live-grub-theme_1.0-1tux1_all.deb 2026-04-24 10:35  838K  
 tuxedo-grub-theme_1.0-1tux1.dsc          2026-04-24 10:35  1.5K

Apache/2.4.67 (Debian) Server at txos.tuxedocomputers.com Port 80