Index of /argostmp/pool/main/g/grub-customizer/

../
grub-customizer_5.2.5-1.debian.tar.xz              12-Jun-2024 14:21                7228
grub-customizer_5.2.5-1.dsc                        12-Jun-2024 14:21                2272
grub-customizer_5.2.5.orig.tar.gz                  12-Jun-2024 14:21              570517
grub-customizer_5.2.5.orig.tar.gz.asc              12-Jun-2024 14:21                 833