Index of /repository/ubuntu22.04.2_LTS/mainrepo/mirror/archive.ubuntu.com/ubuntu/pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq_8.15.0+dfsg-2_am..>	2023-10-23 22:07	91M
	coqide_8.15.0+dfsg-2..>	2023-10-23 22:07	2.3M
	libcoq-core-ocaml-de..>	2023-10-23 22:07	43M
	libcoq-core-ocaml_8...>	2023-10-23 22:07	26M
	libcoq-stdlib_8.15.0..>	2023-10-23 22:07	24M