Index of /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_arm64.deb                  22-Nov-2018 15:57              591956
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_arm64.deb                  19-Sep-2020 04:12              626704
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_arm64.deb                  07-Dec-2022 05:27              638092
grub-customizer_5.2.2-2_i386.deb                   07-Dec-2022 05:12              726816