Index of /pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coqide_8.4pl3dfsg-1_amd64.deb	2014-01-19 20:58	727K
	coqide_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 11:04	731K
	libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 11:04	1.4M
	coqide_8.6-5build1_amd64.deb	2017-10-28 12:34	1.5M
	libcoq-ocaml_8.4pl3dfsg-1_amd64.deb	2014-01-19 20:58	1.5M
	coqide_8.11.0-1_amd64.deb	2020-03-06 04:38	1.7M
	coqide_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 15:32	2.2M
	coqide_8.15.0+dfsg-2_amd64.deb	2022-02-05 19:51	2.3M
	libcoq-ocaml_8.6-5build1_amd64.deb	2017-10-28 12:34	3.4M
	libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb	2014-01-19 20:58	3.5M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 11:04	3.5M
	coq_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 11:04	3.8M
	coq_8.4pl3dfsg-1_amd64.deb	2014-01-19 20:58	3.9M
	libcoq-ocaml_8.11.0-1_amd64.deb	2020-03-06 04:38	6.0M
	libcoq-ocaml-dev_8.6-5build1_amd64.deb	2017-10-28 12:34	13M
	libcoq-ocaml-dev_8.11.0-1_amd64.deb	2020-03-06 04:38	15M
	coq_8.6-5build1_amd64.deb	2017-10-28 12:34	17M
	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-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
	coq-theories_8.4pl3dfsg-1_all.deb	2014-01-19 20:58	30M
	coq-theories_8.4pl4dfsg-3build2_all.deb	2015-11-04 11:04	31M
	coq-theories_8.11.0-1_amd64.deb	2020-03-06 04:38	32M
	coq-theories_8.6-5build1_amd64.deb	2017-10-28 12:34	32M
	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
	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