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

	Name	Last modified	Size
	Parent Directory		-
	unstable_copyright	2024-11-20 09:47	22K
	unstable_changelog	2024-11-20 09:47	913
	testing_copyright	2024-08-04 06:40	22K
	testing_changelog	2024-08-04 06:40	760
	coq-serapi_8.20.0+0.20.0-1_copyright	2024-11-20 09:47	22K
	coq-serapi_8.20.0+0.20.0-1_changelog	2024-11-20 09:47	913
	coq-serapi_8.19.0+0.19.3-4_copyright	2024-08-04 06:40	22K
	coq-serapi_8.19.0+0.19.3-4_changelog	2024-08-04 06:40	760