Index of /apt/pool/main/g/grub2-theme-exegnu/

../
grub2-theme-exegnu_0.0.1.dsc                       18-Dec-2018 23:29                 601
grub2-theme-exegnu_0.0.1.tar.xz                    18-Dec-2018 23:29             1064444
grub2-theme-exegnu_0.0.1_all.deb                   18-Dec-2018 23:29             1064788