Index of /debian/pool/main/c/coq-quickchick

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-quickchick_1.6.4..>	2023-01-27 09:48	2.7K
	coq-quickchick_1.6.4..>	2023-01-27 09:48	2.2K
	coq-quickchick_1.6.4..>	2022-08-15 11:08	379K
	coq-quickchick_2.1.0..>	2025-03-18 16:03	2.8K
	coq-quickchick_2.1.0..>	2025-03-18 16:03	2.2K
	coq-quickchick_2.1.0..>	2025-03-18 16:03	405K
	coq-quickchick_2.2.0..>	2026-08-12 10:56	3.8K
	coq-quickchick_2.2.0..>	2026-08-12 10:56	2.3K
	coq-quickchick_2.2.0..>	2026-07-20 23:42	407K
	libcoq-quickchick_1...>	2023-02-14 09:41	1.5M
	libcoq-quickchick_1...>	2023-02-14 09:41	1.5M
	libcoq-quickchick_1...>	2023-02-14 09:41	1.5M
	libcoq-quickchick_1...>	2023-02-14 09:46	1.5M
	libcoq-quickchick_1...>	2023-02-14 16:43	1.5M
	libcoq-quickchick_1...>	2023-02-14 09:56	1.5M
	libcoq-quickchick_2...>	2025-06-18 01:10	4.2M
	libcoq-quickchick_2...>	2025-06-15 15:00	4.1M
	libcoq-quickchick_2...>	2025-06-15 15:05	4.1M
	libcoq-quickchick_2...>	2025-06-15 14:50	4.1M
	libcoq-quickchick_2...>	2025-06-18 02:17	4.0M
	libcoq-quickchick_2...>	2026-08-26 20:38	3.3M
	libcoq-quickchick_2...>	2026-08-26 20:13	3.4M
	libcoq-quickchick_2...>	2026-08-26 21:09	3.4M
	libcoq-quickchick_2...>	2026-08-27 10:42	3.5M
	libcoq-quickchick_2...>	2026-08-26 20:49	3.3M
	quickchick_1.6.4-3+b..>	2023-02-14 09:41	54K
	quickchick_1.6.4-3+b..>	2023-02-14 09:41	54K
	quickchick_1.6.4-3+b..>	2023-02-14 09:41	54K
	quickchick_1.6.4-3+b..>	2023-02-14 09:46	54K
	quickchick_1.6.4-3+b..>	2023-02-14 16:43	54K
	quickchick_1.6.4-3+b..>	2023-02-14 09:56	54K
	quickchick_2.1.0-1+b..>	2025-06-18 01:10	500K
	quickchick_2.1.0-1+b..>	2025-06-15 15:00	481K
	quickchick_2.1.0-1+b..>	2025-06-15 15:05	524K
	quickchick_2.1.0-1+b..>	2025-06-15 14:50	499K
	quickchick_2.1.0-1+b..>	2025-06-18 02:17	486K
	quickchick_2.2.0-3+b..>	2026-08-26 20:38	492K
	quickchick_2.2.0-3+b..>	2026-08-26 20:13	527K
	quickchick_2.2.0-3+b..>	2026-08-26 21:09	508K
	quickchick_2.2.0-3+b..>	2026-08-27 10:42	512K
	quickchick_2.2.0-3+b..>	2026-08-26 20:49	503K