Index of /ubuntu/pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb	2015-11-04 20:39	1.3M
	libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 21:04	1.4M
	libcoq-ocaml_8.4pl3dfsg-1_i386.deb	2014-01-20 06:58	1.4M
	libcoq-ocaml_8.4pl3dfsg-1_amd64.deb	2014-01-20 06:58	1.5M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb	2015-11-04 20:39	3.6M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 21:04	3.5M
	libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb	2014-01-20 06:58	3.5M
	libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb	2014-01-20 06:58	3.5M
	coqide_8.4pl4dfsg-3build2_i386.deb	2015-11-04 20:39	695K
	coqide_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 21:04	731K
	coqide_8.4pl3dfsg-1_i386.deb	2014-01-20 06:58	662K
	coqide_8.4pl3dfsg-1_amd64.deb	2014-01-20 06:58	727K
	coq_8.4pl4dfsg-3build2_i386.deb	2015-11-04 20:39	3.6M
	coq_8.4pl4dfsg-3build2_amd64.deb	2015-11-04 21:04	3.8M
	coq_8.4pl3dfsg-1_i386.deb	2014-01-20 06:58	3.6M
	coq_8.4pl3dfsg-1_amd64.deb	2014-01-20 06:58	3.9M
	coq-theories_8.4pl4dfsg-3build2_all.deb	2015-11-04 21:04	31M
	coq-theories_8.4pl3dfsg-1_all.deb	2014-01-20 06:58	30M