Index of /mirrors/ftp.debian.org/pool/main/c/coq-reglang

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-reglang_1.1.3-2...>	2023-01-26 13:44	8.2K
	coq-reglang_1.1.3-2.dsc	2023-01-26 13:44	2.1K
	coq-reglang_1.1.3.or..>	2022-07-15 23:06	65K
	coq-reglang_1.2.1-4...>	2024-08-04 08:22	8.4K
	coq-reglang_1.2.1-4.dsc	2024-08-04 08:22	1.8K
	coq-reglang_1.2.1.or..>	2024-01-20 21:13	68K
	libcoq-reglang_1.1.3..>	2023-02-13 08:28	708K
	libcoq-reglang_1.1.3..>	2023-02-13 08:28	707K
	libcoq-reglang_1.1.3..>	2023-02-13 08:28	707K
	libcoq-reglang_1.1.3..>	2023-02-13 08:39	707K
	libcoq-reglang_1.1.3..>	2023-02-14 00:55	707K
	libcoq-reglang_1.1.3..>	2023-02-13 11:20	707K
	libcoq-reglang_1.2.1..>	2025-01-15 09:14	855K
	libcoq-reglang_1.2.1..>	2025-01-15 08:17	854K
	libcoq-reglang_1.2.1..>	2025-01-15 22:17	855K
	libcoq-reglang_1.2.1..>	2025-01-15 07:47	854K
	libcoq-reglang_1.2.1..>	2025-01-29 01:30	854K
	libcoq-reglang_1.2.1..>	2025-01-28 20:05	855K
	libcoq-reglang_1.2.1..>	2025-01-31 00:18	855K
	libcoq-reglang_1.2.1..>	2025-01-15 12:06	854K
	libcoq-reglang_1.2.1..>	2025-01-28 20:56	855K
	libcoq-reglang_1.2.1..>	2025-01-30 11:09	855K