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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-gappa_1.5.4-1bui..>	2024-04-08 08:57	2.3K
	coq-gappa_1.5.4-1bui..>	2024-04-08 08:57	2.1K
	coq-gappa_1.5.4.orig..>	2023-12-23 17:16	72K
	coq-gappa_1.6.0-1bui..>	2025-02-19 07:52	2.4K
	coq-gappa_1.6.0-1bui..>	2025-02-19 07:52	2.0K
	coq-gappa_1.6.0.orig..>	2025-01-24 05:56	74K
	coq-gappa_1.7.0-1bui..>	2025-06-20 14:22	2.2K
	coq-gappa_1.7.0-1bui..>	2025-06-20 14:22	2.0K
	coq-gappa_1.7.0-1bui..>	2026-03-04 17:33	2.3K
	coq-gappa_1.7.0-1bui..>	2026-03-04 17:33	2.0K
	coq-gappa_1.7.0.orig..>	2025-05-01 17:23	75K
	coq-gappa_1.11.0-1bu..>	2026-08-31 09:08	3.6K
	coq-gappa_1.11.0-1bu..>	2026-08-31 09:08	2.1K
	coq-gappa_1.11.0.ori..>	2026-08-04 06:31	91K
	libcoq-gappa_1.5.4-1..>	2024-04-08 11:59	562K
	libcoq-gappa_1.6.0-1..>	2025-02-19 07:53	612K
	libcoq-gappa_1.7.0-1..>	2025-06-20 18:40	628K
	libcoq-gappa_1.7.0-1..>	2025-06-20 18:40	634K
	libcoq-gappa_1.7.0-1..>	2026-03-04 17:34	628K
	libcoq-gappa_1.7.0-1..>	2026-03-04 17:34	628K
	libcoq-gappa_1.7.0-1..>	2026-03-04 17:34	634K
	libcoq-gappa_1.11.0-..>	2026-08-31 09:28	720K
	libcoq-gappa_1.11.0-..>	2026-08-31 09:28	720K
	libcoq-gappa_1.11.0-..>	2026-08-31 09:28	725K