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


../
grub-customizer_5.1.0-2.debian.tar.xz              25-Feb-2020 05:24                3216
grub-customizer_5.1.0-2.dsc                        25-Feb-2020 05:24                2023
grub-customizer_5.1.0-2_arm64.deb                  25-Feb-2020 05:33              621968
grub-customizer_5.1.0.orig.tar.gz                  23-Nov-2018 18:00              578046