Index of /debian13/archive/pool/main/g/grub-customizer/

../
grub-customizer_5.2.5-1.debian.tar.xz              09-Aug-2026 23:18    7228
grub-customizer_5.2.5-1.dsc                        09-Aug-2026 23:18    2272
grub-customizer_5.2.5-1_amd64.deb                  08-Aug-2026 23:07    734K
grub-customizer_5.2.5.orig.tar.gz                  09-Aug-2026 23:18    557K
grub-customizer_5.2.5.orig.tar.gz.asc              09-Aug-2026 23:18     833