Index of /by-release/debian/c/coq-quickchick

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-quickchick_1.6.3-2.patch-basis	2022-08-14 15:07	8
	coq-quickchick_1.6.3-2.patch.bz2	2022-08-14 15:07	335
	coq-quickchick_1.6.4-1.patch-basis	2022-08-15 09:10	8
	coq-quickchick_1.6.4-1.patch.bz2	2022-08-15 09:10	15K
	coq-quickchick_1.6.4-2.patch-basis	2022-09-06 15:44	8
	coq-quickchick_1.6.4-2.patch.bz2	2022-09-06 15:44	386
	coq-quickchick_2.0-2.patch-basis	2023-07-12 15:10	6
	coq-quickchick_2.0-2.patch.bz2	2023-07-12 15:10	628
	patches.xml	2025-03-18 16:18	1.4K