Index of /pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.3.pl4+dfsg-1_all.deb	2017-09-22 21:41	52M
	coq-theories_8.4pl3dfsg-1_all.deb	2017-09-19 19:05	30M
	coq-theories_8.4pl4dfsg-3build2_all.deb	2017-09-19 18:43	31M
	coq-theories_8.11.0-1_amd64.deb	2020-04-02 17:10	32M
	coq_8.3.pl4+dfsg-1_amd64.deb	2017-09-22 21:42	5.3M
	coq_8.4pl3dfsg-1_amd64.deb	2017-09-19 19:01	3.9M
	coq_8.4pl4dfsg-3build2_amd64.deb	2017-09-19 18:37	3.8M
	coq_8.11.0-1_amd64.deb	2020-04-02 17:10	73M
	coqide_8.3.pl4+dfsg-1_amd64.deb	2017-09-22 21:41	5.2M
	coqide_8.4pl3dfsg-1_amd64.deb	2017-09-19 18:59	727K
	coqide_8.4pl4dfsg-3build2_amd64.deb	2017-09-19 18:41	731K
	coqide_8.11.0-1_amd64.deb	2020-04-02 17:10	1.7M
	libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb	2017-09-22 21:40	5.6M
	libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb	2017-09-19 19:04	3.5M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb	2017-09-19 18:40	3.5M
	libcoq-ocaml-dev_8.11.0-1_amd64.deb	2020-04-02 17:10	15M
	libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb	2017-09-22 21:39	1.9M
	libcoq-ocaml_8.4pl3dfsg-1_amd64.deb	2017-09-19 19:00	1.5M
	libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb	2017-09-19 18:46	1.4M
	libcoq-ocaml_8.11.0-1_amd64.deb	2020-04-02 17:10	6.0M