Index of /pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.6-5build1_amd64.deb	2017-10-28 15:34	32M
	coq-theories_8.11.0-1_amd64.deb	2020-03-06 08:38	32M
	coq_8.6-5build1_amd64.deb	2017-10-28 15:34	17M
	coq_8.11.0-1_amd64.deb	2020-03-06 08:38	73M
	coq_8.15.0+dfsg-2_amd64.deb	2022-02-05 23:52	91M
	coq_8.16.1+dfsg-1build2_amd64.deb	2023-02-16 10:58	104M
	coq_8.17.0+dfsg-1build1_amd64.deb	2023-07-24 17:37	89M
	coqide_8.6-5build1_amd64.deb	2017-10-28 15:34	1.5M
	coqide_8.11.0-1_amd64.deb	2020-03-06 08:38	1.7M
	coqide_8.15.0+dfsg-2_amd64.deb	2022-02-05 23:51	2.3M
	coqide_8.16.1+dfsg-1build2_amd64.deb	2023-02-16 10:58	2.2M
	coqide_8.17.0+dfsg-1build1_amd64.deb	2023-07-24 17:37	2.2M
	libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb	2022-02-05 23:51	43M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb	2023-02-16 10:58	47M
	libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb	2023-07-24 17:37	48M
	libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb	2022-02-05 23:51	26M
	libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb	2023-02-16 10:58	26M
	libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb	2023-07-24 17:37	26M
	libcoq-ocaml-dev_8.6-5build1_amd64.deb	2017-10-28 15:34	13M
	libcoq-ocaml-dev_8.11.0-1_amd64.deb	2020-03-06 08:38	15M
	libcoq-ocaml_8.6-5build1_amd64.deb	2017-10-28 15:34	3.4M
	libcoq-ocaml_8.11.0-1_amd64.deb	2020-03-06 08:38	6.0M
	libcoq-stdlib_8.15.0+dfsg-2_amd64.deb	2022-02-05 23:51	24M
	libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb	2023-02-16 10:58	23M
	libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb	2023-07-24 17:37	27M