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

../
grub-customizer_5.2.2-2.debian.tar.xz              07-Dec-2022 04:47                6724
grub-customizer_5.2.2-2.dsc                        07-Dec-2022 04:47                2247
grub-customizer_5.2.2-2_amd64.deb                  07-Dec-2022 05:12              696652
grub-customizer_5.2.2.orig.tar.gz                  09-Sep-2022 03:30              573650
grub-customizer_5.2.2.orig.tar.gz.asc              09-Sep-2022 03:30                 833
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-1_amd64.deb                  12-Jun-2024 15:01              752116
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