Index of /pool/universe/c/coq

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