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

Icon  Name                                     Last modified      Size  Description
[PARENTDIR] Parent Directory                                              -   
[TXT] tuxedo-grub-theme_1.1.22.04~tux16.dsc    2022-08-30 13:45  1.5K  
[   ] tuxedo-grub-theme_1.1.22.04~tux16.tar.gz 2022-08-30 13:45   12M  
[   ] tuxedo-grub-theme_1.2~tux4_all.deb       2023-07-21 20:22  1.0M  
[   ] tuxedo-live-grub-theme_1.2~tux4_all.deb  2023-07-21 20:22  1.0M
Apache/2.4.56 (Debian) Server at deb.tuxedocomputers.com Port 443