Index of /pool/main/g/gprconfig-kb

	Name	Last modified	Size
	Parent Directory		-
	gprconfig-kb_21.0.0-2.debian.tar.xz	21-Nov-2020 13:23	6.0K
	gprconfig-kb_21.0.0-2.dsc	21-Nov-2020 13:23	1.9K
	gprconfig-kb_21.0.0-2_all.deb	21-Nov-2020 13:59	25K
	gprconfig-kb_21.0.0.orig.tar.gz	14-Nov-2020 12:43	39K
	gprconfig-kb_23.0.0-3.debian.tar.xz	28-Dec-2022 22:03	7.1K
	gprconfig-kb_23.0.0-3.dsc	28-Dec-2022 22:03	1.9K
	gprconfig-kb_23.0.0-3_all.deb	28-Dec-2022 22:57	28K
	gprconfig-kb_23.0.0.orig.tar.gz	23-Nov-2022 22:57	41K
	gprconfig-kb_25.0.0-1.debian.tar.xz	29-Nov-2024 20:09	7.4K
	gprconfig-kb_25.0.0-1.dsc	29-Nov-2024 20:09	2.0K
	gprconfig-kb_25.0.0-1_all.deb	29-Nov-2024 20:34	30K
	gprconfig-kb_25.0.0.orig.tar.gz	29-Nov-2024 20:09	43K