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


../
grub-customizer_5.1.0-1.debian.tar.xz              24-Nov-2018 03:58    2888
grub-customizer_5.1.0-1.dsc                        24-Nov-2018 03:58    1985
grub-customizer_5.1.0-1_amd64.deb                  24-Nov-2018 04:04    620K
grub-customizer_5.1.0-1_arm64.deb                  24-Nov-2018 04:04    578K
grub-customizer_5.1.0-3.debian.tar.xz              21-Sep-2020 02:41    3392
grub-customizer_5.1.0-3.dsc                        21-Sep-2020 02:41    2023
grub-customizer_5.1.0-3_amd64.deb                  21-Sep-2020 02:44    660K
grub-customizer_5.1.0-3_arm64.deb                  21-Sep-2020 02:44    612K
grub-customizer_5.1.0.orig.tar.gz                  24-Nov-2018 03:58    564K