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

../
grub-customizer-dbgsym_5.2.3-1+b1_x32.deb          11-Mar-2024 03:03      6M
grub-customizer_5.2.3-1+b1_x32.buildinfo           11-Mar-2024 03:03     15K
grub-customizer_5.2.3-1+b1_x32.deb                 11-Mar-2024 03:03    678K