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

	Name	Last modified	Size	Description
	Parent Directory		-
	grub-customizer_5.2.5.orig.tar.gz.asc	2024-06-12 15:21	833
	grub-customizer_5.2.5.orig.tar.gz	2024-06-12 15:21	557K
	grub-customizer_5.2.5-1_amd64.deb	2024-06-12 16:01	734K
	grub-customizer_5.2.5-1.dsc	2024-06-12 15:21	2.2K
	grub-customizer_5.2.5-1.debian.tar.xz	2024-06-12 15:21	7.1K
	grub-customizer_5.2.5-1+b1_arm64.deb	2024-10-30 09:30	682K
	grub-customizer_5.2.2.orig.tar.gz.asc	2022-09-09 04:30	833
	grub-customizer_5.2.2.orig.tar.gz	2022-09-09 04:30	560K
	grub-customizer_5.2.2-2_arm64.deb	2022-12-07 05:27	623K
	grub-customizer_5.2.2-2_amd64.deb	2022-12-07 05:12	680K
	grub-customizer_5.2.2-2.dsc	2022-12-07 04:47	2.2K
	grub-customizer_5.2.2-2.debian.tar.xz	2022-12-07 04:47	6.6K
	grub-customizer_5.1.0.orig.tar.gz	2018-10-13 17:16	564K
	grub-customizer_5.1.0-3_arm64.deb	2020-09-19 05:12	612K
	grub-customizer_5.1.0-3_amd64.deb	2020-09-19 05:12	660K
	grub-customizer_5.1.0-3.dsc	2020-09-19 04:27	2.0K
	grub-customizer_5.1.0-3.debian.tar.xz	2020-09-19 04:27	3.3K
	grub-customizer_5.1.0-1_arm64.deb	2018-11-22 15:57	578K
	grub-customizer_5.1.0-1_amd64.deb	2018-10-13 17:16	620K
	grub-customizer_5.1.0-1.dsc	2018-10-13 17:16	1.9K
	grub-customizer_5.1.0-1.debian.tar.xz	2018-10-13 17:16	2.8K