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

../
grub-customizer_5.1.0-2.debian.tar.xz              30-Aug-2023 23:28                3216
grub-customizer_5.1.0-2.dsc                        30-Aug-2023 23:28                2023
grub-customizer_5.1.0-2_arm64.deb                  30-Aug-2023 23:28              621968
grub-customizer_5.1.0.orig.tar.gz                  30-Aug-2023 23:28              578046