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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-gappa_1.5.4-1..>	2024-04-08 12:59	562K
	libcoq-gappa_1.5.5-2..>	2024-09-07 21:05	584K
	libcoq-gappa_1.6.0-1..>	2025-02-19 08:53	612K
	libcoq-gappa_1.7.0-1..>	2025-05-01 21:15	629K