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

	Name	Last modified	Size
	Parent Directory		-
	grub-customizer_5.2.2.orig.tar.gz.asc	2022-09-09 05:30	833
	grub-customizer_5.2.2.orig.tar.gz	2022-09-09 05:30	560K
	grub-customizer_5.2.2-2_armhf.deb	2022-12-12 17:08	593K
	grub-customizer_5.2.2-2.dsc	2022-12-07 05:47	2.2K
	grub-customizer_5.2.2-2.debian.tar.xz	2022-12-07 05:47	6.6K
	grub-customizer_5.1.0.orig.tar.gz	2018-10-13 18:16	564K
	grub-customizer_5.1.0-3_armhf.deb	2020-09-21 12:08	571K
	grub-customizer_5.1.0-3.dsc	2020-09-19 05:27	2.0K
	grub-customizer_5.1.0-3.debian.tar.xz	2020-09-19 05:27	3.3K
	grub-customizer_5.1.0-1_armhf.deb	2018-11-24 17:08	538K
	grub-customizer_5.1.0-1.dsc	2018-10-13 18:16	1.9K
	grub-customizer_5.1.0-1.debian.tar.xz	2018-10-13 18:16	2.8K