Index of /teams/marelle/MC-2022/node_modules/@jscoq/elpi/coq-pkgs

	Name	Last modified	Size	Description
	Parent Directory		-
	elpi.coq-pkg	09-Dec-2022 13:09	2.1M
	elpi.json	09-Dec-2022 13:09	262