Index of /ubuntu/pool/universe/g/grub-customizer/
../
grub-customizer_5.1.0-2.debian.tar.xz              25-Feb-2020 08:54    3216
grub-customizer_5.1.0-2.dsc                        25-Feb-2020 08:54    2023
grub-customizer_5.1.0-2_amd64.deb                  25-Feb-2020 08:55    668K
grub-customizer_5.1.0.orig.tar.gz                  23-Nov-2018 21:30    564K