Index of /linux/mint/debian/latest/pool/main/c/coq

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