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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-quickchick_1.6.3-1_source.changes.bz2	2022-07-18 21:37	797
	coq-quickchick_1.6.3-2_source.changes.bz2	2022-08-14 15:05	684
	coq-quickchick_1.6.4-1_source.changes.bz2	2022-08-15 09:05	773
	coq-quickchick_1.6.4-2_source.changes.bz2	2022-09-06 15:37	656
	coq-quickchick_1.6.4-3_source.changes.bz2	2023-01-27 09:36	677
	coq-quickchick_2.0-1_source.changes.bz2	2023-06-14 21:06	797
	coq-quickchick_2.0-2_source.changes.bz2	2023-07-12 15:06	714
	coq-quickchick_2.0.1-1_source.changes.bz2	2023-12-25 15:05	813
	coq-quickchick_2.0.2-1_source.changes.bz2	2024-01-20 21:36	778
	coq-quickchick_2.0.3-2_source.changes.bz2	2024-05-01 03:06	718
	coq-quickchick_2.0.3-3_source.changes.bz2	2024-08-04 09:35	694
	coq-quickchick_2.0.4-1_source.changes.bz2	2024-11-20 16:09	804
	coq-quickchick_2.0.5-1_source.changes.bz2	2024-12-20 08:18	768
	coq-quickchick_2.1.0-1.1_source.changes	2025-09-28 16:06	1.2K
	coq-quickchick_2.1.0-1_source.changes.bz2	2025-03-18 16:06	774
	coq-quickchick_2.1.1-1_source.changes	2025-10-30 15:36	1.4K
	coq-quickchick_2.1.1-2_source.changes	2025-11-12 03:36	1.1K