Index of /debian-ports/pool-x32/main/g/grub-customizer/

../
grub-customizer-dbgsym_5.2.3-1+b1_x32.deb          10-Mar-2024 18:03             6668404
grub-customizer_5.2.3-1+b1_x32.buildinfo           10-Mar-2024 18:03               15557
grub-customizer_5.2.3-1+b1_x32.deb                 10-Mar-2024 18:03              694688