Index of /changelogs/main/c/coq-serapi

	Name	Last modified	Size
	Parent Directory		-
	coq-serapi_8.19.0+0.19.3-2_changelog	2024-05-16 12:54	392
	coq-serapi_8.19.0+0.19.3-2_copyright	2024-05-16 12:54	22K
	unstable_changelog	2024-05-16 12:54	392
	unstable_copyright	2024-05-16 12:54	22K