Index of /ubuntu/pool/universe/g/grub-customizer/


../
grub-customizer_5.1.0-1.debian.tar.xz              23-Nov-2018 18:00                2888
grub-customizer_5.1.0-1.dsc                        23-Nov-2018 18:00                1985
grub-customizer_5.1.0-1_amd64.deb                  24-Nov-2018 07:38              632676
grub-customizer_5.1.0-1_i386.deb                   24-Nov-2018 07:38              662856
grub-customizer_5.1.0.orig.tar.gz                  23-Nov-2018 18:00              578046