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

	Name	Last modified	Size	Description
	Parent Directory		-
	grub-customizer_5.1.0-1.debian.tar.xz	2018-11-23 22:58	2.8K
	grub-customizer_5.1.0-1.dsc	2018-11-23 22:58	1.9K
	grub-customizer_5.1.0-1_amd64.deb	2018-11-23 23:04	620K
	grub-customizer_5.1.0-1_arm64.deb	2018-11-23 23:04	578K
	grub-customizer_5.1.0-3.debian.tar.xz	2020-09-20 22:41	3.3K
	grub-customizer_5.1.0-3.dsc	2020-09-20 22:41	2.0K
	grub-customizer_5.1.0-3_amd64.deb	2020-09-20 22:44	660K
	grub-customizer_5.1.0-3_arm64.deb	2020-09-20 22:44	612K
	grub-customizer_5.1.0.orig.tar.gz	2018-11-23 22:58	564K
	grub-customizer_5.2.2-2.debian.tar.xz	2023-06-14 12:02	6.6K
	grub-customizer_5.2.2-2.dsc	2023-06-14 12:02	2.2K
	grub-customizer_5.2.2-2_amd64.deb	2023-06-14 21:44	680K
	grub-customizer_5.2.2-2_arm64.deb	2023-06-14 21:44	623K
	grub-customizer_5.2.2.orig.tar.gz	2023-06-14 12:02	560K
	grub-customizer_5.2.2.orig.tar.gz.asc	2023-06-14 12:02	833
	grub-customizer_5.2.3-1+b1_amd64.deb	2024-05-10 09:40	676K
	grub-customizer_5.2.3-1+b1_arm64.deb	2024-05-10 09:40	620K
	grub-customizer_5.2.3-1.debian.tar.xz	2024-05-09 22:43	7.0K
	grub-customizer_5.2.3-1.dsc	2024-05-09 22:43	2.2K
	grub-customizer_5.2.3.orig.tar.gz	2024-05-09 22:43	560K
	grub-customizer_5.2.3.orig.tar.gz.asc	2024-05-09 22:43	833