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

	Name	Last modified	Size
	Parent Directory		-
	grub-customizer_5.1.0-1.debian.tar.xz	13-Oct-2018 17:16	2.8K
	grub-customizer_5.1.0-1.dsc	13-Oct-2018 17:16	1.9K
	grub-customizer_5.1.0-1_amd64.deb	13-Oct-2018 17:16	620K
	grub-customizer_5.1.0-1_i386.deb	22-Nov-2018 17:29	650K
	grub-customizer_5.1.0-1~bpo9+1.debian.tar.xz	23-Nov-2018 02:33	2.9K
	grub-customizer_5.1.0-1~bpo9+1.dsc	23-Nov-2018 02:33	2.0K
	grub-customizer_5.1.0-1~bpo9+1_amd64.deb	23-Nov-2018 02:33	630K
	grub-customizer_5.1.0-1~bpo9+1_i386.deb	06-Dec-2018 16:42	659K
	grub-customizer_5.1.0.orig.tar.gz	13-Oct-2018 17:16	564K