Index of /debian-archive/debian/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq-libs_8.0pl2-2_all.deb	2005-04-30 13:54	3.6M
	coq-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M
	coq-libs_8.1.pl3+dfsg-1_all.deb	2008-01-05 10:32	12M
	coq-theories_8.2.pl2+dfsg-1_all.deb	2010-07-02 17:19	18M
	coq-theories_8.3.pl4+dfsg-2_all.deb	2012-06-06 08:32	52M
	coq-theories_8.4pl4dfsg-1_all.deb	2014-07-27 17:26	31M
	coq-theories_8.6-4_amd64.deb	2016-12-30 01:56	30M
	coq-theories_8.6-4_i386.deb	2016-12-30 02:57	29M
	coq-theories_8.6-4_mips64el.deb	2016-12-30 15:29	22M
	coq-theories_8.9.0-1_amd64.deb	2019-02-06 19:49	28M
	coq-theories_8.9.0-1_i386.deb	2019-02-06 21:21	27M
	coq-theories_8.9.0-1_mips64el.deb	2019-02-09 09:29	19M
	coq7-libs_8.0pl2-2_all.deb	2005-04-01 00:17	3.6M
	coq7-libs_8.0pl3-2_all.deb	2006-02-19 13:32	3.6M
	coq_7.2-9.diff.gz	2002-02-15 20:24	4.5K
	coq_7.2-9.dsc	2002-02-15 20:15	614
	coq_7.2-9_i386.deb	2002-02-15 20:24	7.8M
	coq_7.2.orig.tar.gz	2002-01-18 22:26	1.1M
	coq_8.0pl2-2.diff.gz	2005-04-30 13:54	11K
	coq_8.0pl2-2.dsc	2005-04-30 13:54	919
	coq_8.0pl2-2_i386.deb	2005-04-01 00:17	5.8M
	coq_8.0pl2.orig.tar.gz	2005-04-30 13:54	2.2M
	coq_8.0pl3-2.diff.gz	2006-02-19 13:32	16K
	coq_8.0pl3-2.dsc	2006-02-19 13:32	891
	coq_8.0pl3-2_amd64.deb	2006-03-31 17:02	6.2M
	coq_8.0pl3-2_i386.deb	2006-02-19 13:32	5.8M
	coq_8.0pl3.orig.tar.gz	2006-01-23 23:02	2.2M
	coq_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	8.6M
	coq_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	8.1M
	coq_8.1.pl3+dfsg-1.diff.gz	2008-01-05 10:32	15K
	coq_8.1.pl3+dfsg-1.dsc	2008-01-05 10:32	1.0K
	coq_8.1.pl3+dfsg.orig.tar.gz	2008-01-05 10:32	2.4M
	coq_8.2.pl2+dfsg-1.debian.tar.gz	2010-07-02 17:19	16K
	coq_8.2.pl2+dfsg-1.dsc	2010-07-02 17:19	2.1K
	coq_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	15M
	coq_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	13M
	coq_8.2.pl2+dfsg.orig.tar.gz	2010-07-02 17:19	3.0M
	coq_8.3.pl4+dfsg-2.debian.tar.gz	2012-06-06 08:32	16K
	coq_8.3.pl4+dfsg-2.dsc	2012-06-06 08:32	2.3K
	coq_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.4M
	coq_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	4.8M
	coq_8.3.pl4+dfsg.orig.tar.gz	2012-03-27 09:02	3.0M
	coq_8.4pl4dfsg-1.debian.tar.xz	2014-07-27 17:26	15K
	coq_8.4pl4dfsg-1.dsc	2014-07-27 17:26	2.3K
	coq_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	3.9M
	coq_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	3.6M
	coq_8.4pl4dfsg.orig.tar.gz	2014-07-27 17:26	3.4M
	coq_8.6-4.debian.tar.xz	2016-12-30 01:56	21K
	coq_8.6-4.dsc	2016-12-30 01:56	2.3K
	coq_8.6-4_amd64.deb	2016-12-30 01:56	13M
	coq_8.6-4_i386.deb	2016-12-30 02:57	13M
	coq_8.6-4_mips64el.deb	2016-12-30 15:29	18M
	coq_8.6.orig.tar.gz	2016-12-28 14:44	4.8M
	coq_8.9.0-1.debian.tar.xz	2019-02-06 19:49	27K
	coq_8.9.0-1.dsc	2019-02-06 19:49	2.4K
	coq_8.9.0-1_amd64.deb	2019-02-06 19:49	56M
	coq_8.9.0-1_i386.deb	2019-02-06 21:21	54M
	coq_8.9.0-1_mips64el.deb	2019-02-09 09:29	48M
	coq_8.9.0.orig.tar.gz	2019-02-06 19:49	5.1M
	coqide_8.0pl2-2_i386.deb	2005-04-01 00:17	3.9M
	coqide_8.0pl3-2_amd64.deb	2006-03-31 17:02	3.5M
	coqide_8.0pl3-2_i386.deb	2006-02-19 13:32	3.3M
	coqide_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	5.0M
	coqide_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	4.7M
	coqide_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	6.2M
	coqide_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	coqide_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.4M
	coqide_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	5.0M
	coqide_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	779K
	coqide_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	714K
	coqide_8.6-4_amd64.deb	2016-12-30 01:56	1.3M
	coqide_8.6-4_i386.deb	2016-12-30 02:57	1.3M
	coqide_8.6-4_mips64el.deb	2016-12-30 15:29	1.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	5.5M
	libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	3.6M
	libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	3.6M
	libcoq-ocaml-dev_8.6-4_amd64.deb	2016-12-30 01:56	13M
	libcoq-ocaml-dev_8.6-4_i386.deb	2016-12-30 02:57	13M
	libcoq-ocaml-dev_8.6-4_mips64el.deb	2016-12-30 15:29	9.6M
	libcoq-ocaml-dev_8.9.0-1_amd64.deb	2019-02-06 19:49	13M
	libcoq-ocaml-dev_8.9.0-1_i386.deb	2019-02-06 21:21	13M
	libcoq-ocaml-dev_8.9.0-1_mips64el.deb	2019-02-09 09:29	7.6M
	libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb	2012-06-06 08:32	2.0M
	libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb	2012-06-06 09:32	1.8M
	libcoq-ocaml_8.4pl4dfsg-1_amd64.deb	2014-07-27 17:26	1.6M
	libcoq-ocaml_8.4pl4dfsg-1_i386.deb	2014-07-27 18:57	1.4M
	libcoq-ocaml_8.6-4_amd64.deb	2016-12-30 01:56	3.3M
	libcoq-ocaml_8.6-4_i386.deb	2016-12-30 02:57	3.2M
	libcoq-ocaml_8.6-4_mips64el.deb	2016-12-30 15:29	2.3M
	libcoq-ocaml_8.9.0-1_amd64.deb	2019-02-06 19:49	5.2M
	libcoq-ocaml_8.9.0-1_i386.deb	2019-02-06 21:21	4.9M
	libcoq-ocaml_8.9.0-1_mips64el.deb	2019-02-09 09:29	3.4M