Index of /pub/linux/ubuntu/pool/universe/g/grub-customizer/

Filename	Modification time	Size
grub-customizer_5.1.0-2.debian.tar.xz	2020-02-25 06:24 CET	3216 B
grub-customizer_5.1.0-2.dsc	2020-02-25 06:24 CET	2023 B
grub-customizer_5.1.0-2_amd64.deb	2020-02-25 06:25 CET	668 KiB
grub-customizer_5.1.0.orig.tar.gz	2018-11-23 19:00 CET	564 KiB