Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.3.pl4+dfsg-1_all.deb	2012-04-03 04:04	52M
	coq-theories_8.3.pl4+dfsg-2_all.deb	2012-06-08 11:04	52M
	coq-theories_8.4pl2dfsg-1_all.deb	2013-05-08 17:03	56M
	coq-theories_8.4pl3dfsg-1_all.deb	2014-01-19 15:58	30M
	coq_8.3.pl4+dfsg-1.debian.tar.gz	2012-04-03 03:33	16K
	coq_8.3.pl4+dfsg-1.dsc	2012-04-03 03:33	2.3K
	coq_8.3.pl4+dfsg-2.debian.tar.gz	2012-06-08 07:36	16K
	coq_8.3.pl4+dfsg-2.dsc	2012-06-08 07:36	2.3K
	coq_8.3.pl4+dfsg.orig.tar.gz	2012-04-03 03:33	3.0M
	coq_8.4pl2dfsg-1.debian.tar.gz	2013-05-08 16:33	17K
	coq_8.4pl2dfsg-1.dsc	2013-05-08 16:33	2.3K
	coq_8.4pl2dfsg.orig.tar.gz	2013-05-08 16:33	3.4M
	coq_8.4pl3dfsg-1.debian.tar.xz	2014-01-19 15:18	15K
	coq_8.4pl3dfsg-1.dsc	2014-01-19 15:18	2.3K
	coq_8.4pl3dfsg-1_armhf.deb	2014-01-19 17:03	3.7M
	coq_8.4pl3dfsg.orig.tar.gz	2014-01-19 15:18	3.4M
	coqide_8.4pl3dfsg-1_armhf.deb	2014-01-19 17:03	758K
	libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb	2014-01-19 17:03	3.8M
	libcoq-ocaml_8.4pl3dfsg-1_armhf.deb	2014-01-19 17:03	1.5M