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

	Name	Last modified	Size
	Parent Directory		-
	grub-customizer_5.2.2.orig.tar.gz.asc	2022-09-08 20:30	833
	grub-customizer_5.2.5.orig.tar.gz.asc	2024-06-12 07:21	833
	grub-customizer_5.1.0-1.dsc	2018-10-13 09:16	1.9K
	grub-customizer_5.1.0-3.dsc	2020-09-18 20:27	2.0K
	grub-customizer_5.2.2-2.dsc	2022-12-06 20:47	2.2K
	grub-customizer_5.2.5-1.dsc	2024-06-12 07:21	2.2K
	grub-customizer_5.1.0-1.debian.tar.xz	2018-10-13 09:16	2.8K
	grub-customizer_5.1.0-3.debian.tar.xz	2020-09-18 20:27	3.3K
	grub-customizer_5.2.2-2.debian.tar.xz	2022-12-06 20:47	6.6K
	grub-customizer_5.2.5-1.debian.tar.xz	2024-06-12 07:21	7.1K
	grub-customizer_5.2.5.orig.tar.gz	2024-06-12 07:21	557K
	grub-customizer_5.2.2.orig.tar.gz	2022-09-08 20:30	560K
	grub-customizer_5.1.0.orig.tar.gz	2018-10-13 09:16	564K
	grub-customizer_5.1.0-1_amd64.deb	2018-10-13 09:16	620K
	grub-customizer_5.1.0-1_i386.deb	2018-11-22 09:29	650K
	grub-customizer_5.1.0-3_amd64.deb	2020-09-18 21:12	660K
	grub-customizer_5.2.2-2_amd64.deb	2022-12-06 21:12	680K
	grub-customizer_5.1.0-3_i386.deb	2020-09-18 21:12	688K
	grub-customizer_5.2.2-2_i386.deb	2022-12-06 21:12	710K
	grub-customizer_5.2.5-1_amd64.deb	2024-06-12 08:01	734K
	grub-customizer_5.2.5-1_i386.deb	2024-06-12 08:06	768K