Index of /ubuntu/pool/universe/c/coq-reglang

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-reglang_1.2.1-1b..>	2024-04-08 08:57	8.6K
	coq-reglang_1.2.1-1b..>	2024-04-08 08:57	2.1K
	coq-reglang_1.2.1-4b..>	2025-02-19 07:52	8.7K
	coq-reglang_1.2.1-4b..>	2025-02-19 07:52	2.1K
	coq-reglang_1.2.1-4b..>	2025-08-31 20:42	8.8K
	coq-reglang_1.2.1-4b..>	2025-08-31 20:42	2.1K
	coq-reglang_1.2.1-4b..>	2026-01-04 23:06	8.8K
	coq-reglang_1.2.1-4b..>	2026-01-04 23:06	2.1K
	coq-reglang_1.2.1-4b..>	2026-01-28 00:59	8.8K
	coq-reglang_1.2.1-4b..>	2026-01-28 00:59	2.1K
	coq-reglang_1.2.1-4b..>	2026-03-07 19:00	8.9K
	coq-reglang_1.2.1-4b..>	2026-03-07 19:00	2.1K
	coq-reglang_1.2.1.or..>	2024-01-21 05:45	68K
	libcoq-reglang_1.2.1..>	2024-04-08 15:36	805K
	libcoq-reglang_1.2.1..>	2025-02-20 04:20	972K
	libcoq-reglang_1.2.1..>	2025-09-01 20:52	970K
	libcoq-reglang_1.2.1..>	2026-01-06 00:08	970K
	libcoq-reglang_1.2.1..>	2026-01-06 00:09	970K
	libcoq-reglang_1.2.1..>	2026-01-31 08:17	970K
	libcoq-reglang_1.2.1..>	2026-01-31 08:17	970K
	libcoq-reglang_1.2.1..>	2026-03-07 19:01	970K
	libcoq-reglang_1.2.1..>	2026-03-07 19:02	970K