Index of /linuxmint/debian/latest/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-ocaml_8.4pl2dfsg-4_i386.deb	2013-12-04 06:26	1.4M
	libcoq-ocaml_8.4pl2dfsg-4_amd64.deb	2013-12-04 04:05	1.6M
	libcoq-ocaml_8.4pl2dfsg-3_i386.deb	2013-11-23 01:28	1.4M
	libcoq-ocaml_8.4pl2dfsg-3_amd64.deb	2013-11-23 01:43	1.6M
	libcoq-ocaml_8.4pl2dfsg-1_i386.deb	2013-05-09 03:55	1.9M
	libcoq-ocaml_8.4pl2dfsg-1_amd64.deb	2013-05-09 00:55	2.1M
	libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb	2012-06-06 15:32	1.8M
	libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 14:32	2.0M
	libcoq-ocaml-dev_8.4pl2dfsg-4_i386.deb	2013-12-04 06:26	3.6M
	libcoq-ocaml-dev_8.4pl2dfsg-4_amd64.deb	2013-12-04 04:05	3.6M
	libcoq-ocaml-dev_8.4pl2dfsg-3_i386.deb	2013-11-23 01:28	3.5M
	libcoq-ocaml-dev_8.4pl2dfsg-3_amd64.deb	2013-11-23 01:43	3.5M
	libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb	2013-05-09 03:55	5.4M
	libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb	2013-05-09 00:55	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb	2012-06-06 15:32	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 14:32	5.6M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	2010-07-03 01:03	5.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 23:19	5.8M
	coqide_8.4pl2dfsg-4_i386.deb	2013-12-04 06:26	710K
	coqide_8.4pl2dfsg-4_amd64.deb	2013-12-04 04:05	774K
	coqide_8.4pl2dfsg-3_i386.deb	2013-11-23 01:28	709K
	coqide_8.4pl2dfsg-3_amd64.deb	2013-11-23 01:43	776K
	coqide_8.4pl2dfsg-1_i386.deb	2013-05-09 03:55	821K
	coqide_8.4pl2dfsg-1_amd64.deb	2013-05-09 00:55	1.0M
	coqide_8.3.pl4+dfsg-2_i386.deb	2012-06-06 15:32	5.0M
	coqide_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 14:32	5.4M
	coqide_8.2.pl2+dfsg-1_i386.deb	2010-07-03 01:03	5.7M
	coqide_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 23:19	6.2M
	coq_8.4pl2dfsg.orig.tar.gz	2013-05-09 00:55	3.4M
	coq_8.4pl2dfsg-4_i386.deb	2013-12-04 06:26	3.6M
	coq_8.4pl2dfsg-4_amd64.deb	2013-12-04 04:05	3.9M
	coq_8.4pl2dfsg-4.dsc	2013-12-04 04:05	2.3K
	coq_8.4pl2dfsg-4.debian.tar.gz	2013-12-04 04:05	17K
	coq_8.4pl2dfsg-3_i386.deb	2013-11-23 01:28	3.6M
	coq_8.4pl2dfsg-3_amd64.deb	2013-11-23 01:43	3.9M
	coq_8.4pl2dfsg-3.dsc	2013-11-23 00:23	2.3K
	coq_8.4pl2dfsg-3.debian.tar.gz	2013-11-23 00:23	17K
	coq_8.4pl2dfsg-1_i386.deb	2013-05-09 03:55	5.1M
	coq_8.4pl2dfsg-1_amd64.deb	2013-05-09 00:55	5.7M
	coq_8.4pl2dfsg-1.dsc	2013-05-09 00:55	2.3K
	coq_8.4pl2dfsg-1.debian.tar.gz	2013-05-09 00:55	17K
	coq_8.3.pl4+dfsg.orig.tar.gz	2012-03-27 15:02	3.0M
	coq_8.3.pl4+dfsg-2_i386.deb	2012-06-06 15:32	4.8M
	coq_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 14:32	5.4M
	coq_8.3.pl4+dfsg-2.dsc	2012-06-06 14:32	2.3K
	coq_8.3.pl4+dfsg-2.debian.tar.gz	2012-06-06 14:32	16K
	coq_8.2.pl2+dfsg.orig.tar.gz	2010-07-02 23:19	3.0M
	coq_8.2.pl2+dfsg-1_i386.deb	2010-07-03 01:03	13M
	coq_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 23:19	15M
	coq_8.2.pl2+dfsg-1.dsc	2010-07-02 23:19	2.1K
	coq_8.2.pl2+dfsg-1.debian.tar.gz	2010-07-02 23:19	16K
	coq-theories_8.4pl2dfsg-4_all.deb	2013-12-04 04:05	31M
	coq-theories_8.4pl2dfsg-3_all.deb	2013-11-23 00:23	30M
	coq-theories_8.4pl2dfsg-1_all.deb	2013-05-09 00:55	56M
	coq-theories_8.3.pl4+dfsg-2_all.deb	2012-06-06 14:32	52M
	coq-theories_8.2.pl2+dfsg-1_all.deb	2010-07-02 23:19	18M