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


../
grub-customizer_5.1.0-1_amd64.deb                  13-Oct-2018 16:16              635108
grub-customizer_5.1.0-1_i386.deb                   22-Nov-2018 17:29              665296
grub-customizer_5.1.0-3_amd64.deb                  19-Sep-2020 04:12              676332
grub-customizer_5.1.0-3_i386.deb                   19-Sep-2020 04:12              704312
grub-customizer_5.2.2-2_amd64.deb                  07-Dec-2022 05:12              696652
grub-customizer_5.2.2-2_i386.deb                   07-Dec-2022 05:12              726816
grub-customizer_5.2.5-1_amd64.deb                  12-Jun-2024 15:01              752116
grub-customizer_5.2.5-1_i386.deb                   12-Jun-2024 15:06              786588
grub-customizer_5.2.5-1_riscv64.deb                12-Jun-2024 15:41              732960