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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 tuxedo-live-grub-theme_1.0-1tux1_all.deb 2025-03-11 12:50  839K  
 tuxedo-grub-theme_1.0-1tux1_all.deb      2025-03-11 12:50  840K  
 tuxedo-grub-theme_1.0-1tux1.tar.gz       2025-03-11 12:50   12M  
 tuxedo-grub-theme_1.0-1tux1.dsc          2025-03-11 12:50  1.5K