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

	Name	Last modified	Size
	Parent Directory		-
	coq-libs_8.1.pl3+dfsg-1_all.deb	08-Jan-2008 00:07	12M
	coq-theories_8.2.pl1+dfsg-6_all.deb	27-Feb-2010 17:04	17M
	coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb	18-Sep-2010 19:04	18M
	coq-theories_8.3.pl2+dfsg-1build1_all.deb	25-Aug-2011 05:04	50M
	coq-theories_8.3.pl4+dfsg-1_all.deb	03-Apr-2012 11:04	52M
	coq-theories_8.3.pl4+dfsg-1build1_all.deb	16-May-2012 03:03	51M
	coq_8.1.pl3+dfsg-1.diff.gz	07-Jan-2008 21:03	15K
	coq_8.1.pl3+dfsg-1.dsc	07-Jan-2008 21:03	1.0K
	coq_8.1.pl3+dfsg-1_amd64.deb	08-Jan-2008 00:06	8.6M
	coq_8.1.pl3+dfsg-1_i386.deb	08-Jan-2008 00:07	8.1M
	coq_8.1.pl3+dfsg.orig.tar.gz	07-Jan-2008 21:03	2.4M
	coq_8.2.pl1+dfsg-6.diff.gz	27-Feb-2010 16:04	15K
	coq_8.2.pl1+dfsg-6.dsc	27-Feb-2010 16:04	2.2K
	coq_8.2.pl1+dfsg-6_amd64.deb	27-Feb-2010 17:04	15M
	coq_8.2.pl1+dfsg-6_i386.deb	27-Feb-2010 17:04	13M
	coq_8.2.pl1+dfsg.orig.tar.gz	28-Jul-2009 19:13	3.0M
	coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz	18-Sep-2010 18:05	17K
	coq_8.2.pl2+dfsg-1ubuntu1.dsc	18-Sep-2010 18:05	1.5K
	coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb	18-Sep-2010 19:04	14M
	coq_8.2.pl2+dfsg-1ubuntu1_i386.deb	18-Sep-2010 19:05	13M
	coq_8.2.pl2+dfsg.orig.tar.gz	27-Jul-2010 19:05	3.0M
	coq_8.3.pl2+dfsg-1build1.debian.tar.gz	25-Aug-2011 05:04	16K
	coq_8.3.pl2+dfsg-1build1.dsc	25-Aug-2011 05:04	1.5K
	coq_8.3.pl2+dfsg-1build1_amd64.deb	25-Aug-2011 05:04	5.3M
	coq_8.3.pl2+dfsg-1build1_i386.deb	25-Aug-2011 05:05	4.7M
	coq_8.3.pl2+dfsg.orig.tar.gz	19-May-2011 15:05	3.0M
	coq_8.3.pl4+dfsg-1.debian.tar.gz	03-Apr-2012 10:33	16K
	coq_8.3.pl4+dfsg-1.dsc	03-Apr-2012 10:33	2.3K
	coq_8.3.pl4+dfsg-1_amd64.deb	03-Apr-2012 11:34	5.3M
	coq_8.3.pl4+dfsg-1_i386.deb	03-Apr-2012 11:04	4.7M
	coq_8.3.pl4+dfsg-1build1.debian.tar.gz	16-May-2012 02:03	16K
	coq_8.3.pl4+dfsg-1build1.dsc	16-May-2012 02:03	1.7K
	coq_8.3.pl4+dfsg-1build1_amd64.deb	16-May-2012 03:03	5.3M
	coq_8.3.pl4+dfsg-1build1_i386.deb	16-May-2012 03:04	4.7M
	coq_8.3.pl4+dfsg.orig.tar.gz	03-Apr-2012 10:33	3.0M
	coqide_8.1.pl3+dfsg-1_amd64.deb	08-Jan-2008 00:06	5.0M
	coqide_8.1.pl3+dfsg-1_i386.deb	08-Jan-2008 00:07	4.7M
	coqide_8.2.pl1+dfsg-6_amd64.deb	27-Feb-2010 17:04	6.2M
	coqide_8.2.pl1+dfsg-6_i386.deb	27-Feb-2010 17:04	5.7M
	coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb	18-Sep-2010 19:04	6.1M
	coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb	18-Sep-2010 19:05	5.6M
	coqide_8.3.pl2+dfsg-1build1_amd64.deb	25-Aug-2011 05:04	5.2M
	coqide_8.3.pl2+dfsg-1build1_i386.deb	25-Aug-2011 05:05	4.9M
	coqide_8.3.pl4+dfsg-1_amd64.deb	03-Apr-2012 11:34	5.2M
	coqide_8.3.pl4+dfsg-1_i386.deb	03-Apr-2012 11:04	4.9M
	coqide_8.3.pl4+dfsg-1build1_amd64.deb	16-May-2012 03:03	5.2M
	coqide_8.3.pl4+dfsg-1build1_i386.deb	16-May-2012 03:03	4.9M
	libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb	27-Feb-2010 17:04	5.8M
	libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb	27-Feb-2010 17:04	5.6M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb	18-Sep-2010 19:04	5.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb	18-Sep-2010 19:05	5.6M
	libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb	25-Aug-2011 05:04	5.6M
	libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb	25-Aug-2011 05:05	5.4M
	libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb	03-Apr-2012 11:34	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb	03-Apr-2012 11:04	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_amd64.deb	16-May-2012 03:03	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-1build1_i386.deb	16-May-2012 03:03	5.4M
	libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb	25-Aug-2011 05:04	1.9M
	libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb	25-Aug-2011 05:05	1.7M
	libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb	03-Apr-2012 11:34	1.9M
	libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb	03-Apr-2012 11:04	1.7M
	libcoq-ocaml_8.3.pl4+dfsg-1build1_amd64.deb	16-May-2012 03:03	1.9M
	libcoq-ocaml_8.3.pl4+dfsg-1build1_i386.deb	16-May-2012 03:03	1.7M