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              635108
grub-customizer_5.1.0-1_arm64.deb                  24-Nov-2018 04:04              591956
grub-customizer_5.1.0.orig.tar.gz                  24-Nov-2018 03:58              578046