Index of /pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.11.0-1_amd64.deb	2020-03-06 04:38	32M
	coq_8.11.0-1_amd64.deb	2020-03-06 04:38	73M
	coq_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:52	91M
	coq_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	91M
	coq_8.20.1+dfsg-1build4_amd64.deb	2026-03-01 09:54	79M
	coqide_8.11.0-1_amd64.deb	2020-03-06 04:38	1.7M
	coqide_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:51	2.3M
	coqide_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	2.2M
	coqide_8.20.1+dfsg-1build4_amd64.deb	2026-03-01 09:54	2.1M
	libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:51	43M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	49M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb	2026-03-01 09:54	57M
	libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:51	26M
	libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	26M
	libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb	2026-03-01 09:54	27M
	libcoq-ocaml-dev_8.11.0-1_amd64.deb	2020-03-06 04:38	15M
	libcoq-ocaml_8.11.0-1_amd64.deb	2020-03-06 04:38	6.0M
	libcoq-stdlib_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:51	24M
	libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	25M
	libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb	2026-03-01 09:54	26M