Index of /pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.3.pl4+dfsg-2_all.deb	2012-06-06 06:32	52M
	coq-theories_8.4pl4dfsg-1_all.deb	2014-07-27 15:26	31M
	coq_8.3.pl4+dfsg-2_armhf.deb	2012-06-23 02:56	1.7M
	coq_8.4pl4dfsg-1_armhf.deb	2014-08-13 11:18	3.7M
	coqide_8.3.pl4+dfsg-2_armhf.deb	2012-06-23 02:56	2.4M
	coqide_8.4pl4dfsg-1_armhf.deb	2014-08-13 11:18	777K
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb	2012-06-23 02:56	2.4M
	libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb	2014-08-13 11:18	3.8M
	libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb	2012-06-23 02:56	521K
	libcoq-ocaml_8.4pl4dfsg-1_armhf.deb	2014-08-13 11:18	1.5M