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

	Name	Last modified	Size
	Parent Directory		-
	coq_7.2-9.dsc	2002-02-15 20:15	614
	coq_8.0pl3-2.dsc	2006-02-19 13:32	891
	coq_8.0pl2-2.dsc	2005-04-30 13:54	919
	coq_8.1.pl3+dfsg-1.dsc	2008-01-05 10:32	1.0K
	coq_8.2.pl2+dfsg-1.dsc	2010-07-02 17:19	2.1K
	coq_7.2-9.diff.gz	2002-02-15 20:24	4.5K
	coq_8.0pl2-2.diff.gz	2005-04-30 13:54	11K
	coq_8.1.pl3+dfsg-1.diff.gz	2008-01-05 10:32	15K
	coq_8.0pl3-2.diff.gz	2006-02-19 13:32	16K
	coq_8.2.pl2+dfsg-1.debian.tar.gz	2010-07-02 17:19	16K
	coq_7.2.orig.tar.gz	2002-01-18 22:26	1.1M
	coqide_8.0pl3-2_arm.deb	2006-02-20 03:47	1.3M
	coqide_8.0pl3-2_m68k.deb	2006-02-23 19:02	1.3M
	coqide_8.0pl3-2_mipsel.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_mips.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_hppa.deb	2006-02-19 18:47	1.3M
	coqide_8.0pl3-2_alpha.deb	2006-02-20 18:02	1.3M
	coqide_8.0pl3-2_s390.deb	2006-02-19 22:47	1.3M
	coqide_8.0pl3-2_ia64.deb	2006-02-19 18:47	1.3M
	coqide_8.0pl2-2_arm.deb	2005-04-09 02:18	1.9M
	coqide_8.0pl2-2_mipsel.deb	2005-04-01 05:02	1.9M
	coqide_8.0pl2-2_m68k.deb	2005-04-02 12:17	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	1.9M
	coqide_8.0pl2-2_mips.deb	2005-04-04 20:02	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	1.9M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	1.9M
	coqide_8.0pl2-2_alpha.deb	2005-04-01 05:17	1.9M
	coqide_8.0pl2-2_s390.deb	2005-04-01 10:32	1.9M
	coqide_8.0pl2-2_ia64.deb	2005-04-01 03:47	1.9M
	coq_8.0pl2.orig.tar.gz	2005-04-30 13:54	2.2M
	coq_8.0pl3.orig.tar.gz	2006-01-23 23:02	2.2M
	coqide_8.1.pl3+dfsg-1+b2_arm.deb	2008-05-25 11:02	2.3M
	coqide_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	2.3M
	coqide_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	2.3M
	coqide_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	2.3M
	coqide_8.1.pl3+dfsg-1+b2_armel.deb	2008-05-25 01:17	2.3M
	coqide_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	2.3M
	coqide_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	2.3M
	coqide_8.1.pl3+dfsg-1+b2_mipsel.deb	2008-05-24 20:02	2.3M
	coqide_8.1.pl3+dfsg-1+b2_mips.deb	2008-05-27 18:17	2.3M
	coqide_8.1.pl3+dfsg-1+b2_hppa.deb	2008-05-29 14:32	2.3M
	coqide_8.1.pl3+dfsg-1+b2_alpha.deb	2008-05-24 20:02	2.4M
	coqide_8.1.pl3+dfsg-1+b2_s390.deb	2008-05-25 20:47	2.4M
	coqide_8.1.pl3+dfsg-1+b2_ia64.deb	2008-05-27 14:32	2.4M
	coq_8.1.pl3+dfsg.orig.tar.gz	2008-01-05 10:32	2.4M
	coq_8.0pl2-2_m68k.deb	2005-04-02 12:17	2.6M
	coq_8.0pl3-2_m68k.deb	2006-02-23 19:02	2.6M
	coq_8.0pl2-2_arm.deb	2005-04-09 02:18	2.7M
	coq_8.0pl2-2_mipsel.deb	2005-04-01 05:02	2.7M
	coq_8.0pl3-2_arm.deb	2006-02-20 03:47	2.7M
	coq_8.0pl2-2_mips.deb	2005-04-04 20:02	2.7M
	coq_8.0pl2-2_s390.deb	2005-04-01 10:32	2.8M
	coq_8.0pl3-2_mipsel.deb	2006-02-20 18:02	2.8M
	coq_8.0pl3-2_mips.deb	2006-02-20 18:02	2.8M
	coq_8.0pl2-2_alpha.deb	2005-04-01 05:17	2.8M
	coq_8.0pl3-2_hppa.deb	2006-02-19 18:47	2.8M
	coq_8.0pl3-2_s390.deb	2006-02-19 22:47	2.8M
	coq_8.0pl3-2_alpha.deb	2006-02-20 18:02	2.9M
	coq_8.0pl2-2_ia64.deb	2005-04-01 03:47	3.0M
	coq_8.2.pl2+dfsg.orig.tar.gz	2010-07-02 17:19	3.0M
	coq_8.0pl3-2_ia64.deb	2006-02-19 18:47	3.0M
	coqide_8.0pl3-2_i386.deb	2006-02-19 13:32	3.3M
	coqide_8.0pl3-2_amd64.deb	2006-03-31 17:02	3.5M
	coq_8.2.pl2+dfsg-1_mips.deb	2010-07-04 14:48	3.5M
	coq_8.2.pl2+dfsg-1_mipsel.deb	2010-07-03 08:32	3.5M
	coq_8.2.pl2+dfsg-1_s390.deb	2010-07-03 18:42	3.5M
	coq_8.2.pl2+dfsg-1_armel.deb	2010-07-03 22:17	3.5M
	coq_8.2.pl2+dfsg-1_ia64.deb	2010-07-03 22:47	3.5M
	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
	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
	coqide_8.0pl3-2_powerpc.deb	2006-02-20 18:02	3.7M
	coqide_8.0pl3-2_sparc.deb	2006-02-20 03:47	3.8M
	coqide_8.0pl2-2_i386.deb	2005-04-01 00:17	3.9M
	coq_8.1.pl3+dfsg-1+b2_arm.deb	2008-05-25 11:02	4.0M
	coq_8.1.pl3+dfsg-1+b2_armel.deb	2008-05-25 01:17	4.0M
	coq_8.1.pl3+dfsg-1+b2_mipsel.deb	2008-05-24 20:02	4.0M
	coq_8.1.pl3+dfsg-1+b2_mips.deb	2008-05-27 18:17	4.0M
	coq_8.1.pl3+dfsg-1+b2_hppa.deb	2008-05-29 14:32	4.1M
	coq_8.1.pl3+dfsg-1+b2_s390.deb	2008-05-25 20:47	4.1M
	coq_8.1.pl3+dfsg-1+b2_alpha.deb	2008-05-24 20:02	4.1M
	coq_8.1.pl3+dfsg-1+b2_ia64.deb	2008-05-27 14:32	4.3M
	coqide_8.0pl2-2_powerpc.deb	2005-04-01 02:02	4.3M
	coqide_8.0pl2-2_sparc.deb	2005-04-01 04:17	4.4M
	coqide_8.0pl2-2_hppa.deb	2005-04-01 03:32	4.5M
	coqide_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	4.7M
	coqide_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	5.0M
	coqide_8.1.pl3+dfsg-1+b2_powerpc.deb	2008-05-28 19:47	5.2M
	coqide_8.1.pl3+dfsg-1+b2_sparc.deb	2008-05-24 11:02	5.3M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	5.6M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	5.7M
	coqide_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	5.7M
	coq_8.0pl2-2_i386.deb	2005-04-01 00:17	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	5.8M
	coq_8.0pl3-2_i386.deb	2006-02-19 13:32	5.8M
	coq_8.0pl3-2_amd64.deb	2006-03-31 17:02	6.2M
	coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	6.2M
	coqide_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	6.2M
	coqide_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	6.3M
	coqide_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	6.3M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	6.4M
	coq_8.0pl2-2_powerpc.deb	2005-04-01 02:02	6.6M
	coq_8.0pl3-2_powerpc.deb	2006-02-20 18:02	6.6M
	coq_8.0pl2-2_sparc.deb	2005-04-01 04:17	6.7M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	6.7M
	coq_8.0pl3-2_sparc.deb	2006-02-20 03:47	6.7M
	coq_7.2-9_m68k.deb	2002-02-18 12:12	6.8M
	coq_7.2-9_powerpc.deb	2002-02-16 19:36	6.9M
	coq_7.2-9_s390.deb	2002-02-16 15:14	6.9M
	coq_7.2-9_mipsel.deb	2002-02-16 19:32	6.9M
	coq_7.2-9_mips.deb	2002-02-16 19:33	6.9M
	coq_7.2-9_sparc.deb	2002-02-16 19:32	6.9M
	coq_8.0pl2-2_hppa.deb	2005-04-01 03:32	7.0M
	coq_7.2-9_hppa.deb	2002-02-16 19:11	7.0M
	coq_7.2-9_i386.deb	2002-02-15 20:24	7.8M
	coq_7.2-9_arm.deb	2002-02-16 12:41	8.1M
	coq_8.1.pl3+dfsg-1+b2_i386.deb	2008-05-26 16:17	8.1M
	coq_7.2-9_alpha.deb	2002-02-16 19:22	8.5M
	coq_8.1.pl3+dfsg-1+b2_amd64.deb	2008-05-23 18:17	8.6M
	coq_8.1.pl3+dfsg-1+b2_powerpc.deb	2008-05-28 19:47	9.0M
	coq_8.1.pl3+dfsg-1+b2_sparc.deb	2008-05-24 11:02	9.0M
	coq_7.2-9_ia64.deb	2002-02-16 19:11	9.5M
	coq-libs_8.1.pl3+dfsg-1_all.deb	2008-01-05 10:32	12M
	coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb	2010-07-04 15:18	13M
	coq_8.2.pl2+dfsg-1_i386.deb	2010-07-02 19:03	13M
	coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	2010-07-04 15:48	15M
	coq_8.2.pl2+dfsg-1_amd64.deb	2010-07-02 17:19	15M
	coq_8.2.pl2+dfsg-1_powerpc.deb	2010-07-03 18:42	15M
	coq_8.2.pl2+dfsg-1_sparc.deb	2010-07-04 15:18	15M
	coq-theories_8.2.pl2+dfsg-1_all.deb	2010-07-02 17:19	18M