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

name	size	date
coq-theories_8.6-4_mips64el.deb	21.80M	2016-12-30 14:29:37
coq_8.6-4_mips64el.deb	18.23M	2016-12-30 14:29:37
coqide_8.6-4_mips64el.deb	1.80M	2016-12-30 14:29:37
libcoq-ocaml-dev_8.6-4_mips64el.deb	9.59M	2016-12-30 14:29:37
libcoq-ocaml_8.6-4_mips64el.deb	2.26M	2016-12-30 14:29:37
coq-theories_8.6-4_mips.deb	21.78M	2016-12-30 07:57:44
coq_8.6-4_mips.deb	18.24M	2016-12-30 07:57:44
coqide_8.6-4_mips.deb	1.80M	2016-12-30 07:57:44
libcoq-ocaml-dev_8.6-4_mips.deb	9.59M	2016-12-30 07:57:44
libcoq-ocaml_8.6-4_mips.deb	2.26M	2016-12-30 07:57:44
coq-theories_8.6-4_mipsel.deb	21.78M	2016-12-30 07:57:43
coq_8.6-4_mipsel.deb	18.23M	2016-12-30 07:57:43
coqide_8.6-4_mipsel.deb	1.80M	2016-12-30 07:57:43
libcoq-ocaml-dev_8.6-4_mipsel.deb	9.59M	2016-12-30 07:57:43
libcoq-ocaml_8.6-4_mipsel.deb	2.26M	2016-12-30 07:57:43
coq-theories_8.6-4_s390x.deb	21.80M	2016-12-30 05:27:37
coq_8.6-4_s390x.deb	18.24M	2016-12-30 05:27:37
coqide_8.6-4_s390x.deb	1.80M	2016-12-30 05:27:37
libcoq-ocaml-dev_8.6-4_s390x.deb	9.59M	2016-12-30 05:27:37
libcoq-ocaml_8.6-4_s390x.deb	2.27M	2016-12-30 05:27:37
coq-theories_8.6-4_ppc64el.deb	21.80M	2016-12-30 03:57:19
coq_8.6-4_ppc64el.deb	18.23M	2016-12-30 03:57:19
coqide_8.6-4_ppc64el.deb	1.80M	2016-12-30 03:57:19
libcoq-ocaml-dev_8.6-4_ppc64el.deb	9.59M	2016-12-30 03:57:19
libcoq-ocaml_8.6-4_ppc64el.deb	2.26M	2016-12-30 03:57:19
coq-theories_8.6-4_armel.deb	21.79M	2016-12-30 03:12:15
coq_8.6-4_armel.deb	13.20M	2016-12-30 03:12:15
coqide_8.6-4_armel.deb	1.37M	2016-12-30 03:12:15
libcoq-ocaml-dev_8.6-4_armel.deb	13.46M	2016-12-30 03:12:15
libcoq-ocaml_8.6-4_armel.deb	3.35M	2016-12-30 03:12:15
coq-theories_8.6-4_armhf.deb	21.79M	2016-12-30 03:12:14
coq_8.6-4_armhf.deb	13.27M	2016-12-30 03:12:14
coqide_8.6-4_armhf.deb	1.40M	2016-12-30 03:12:14
libcoq-ocaml-dev_8.6-4_armhf.deb	13.50M	2016-12-30 03:12:14
libcoq-ocaml_8.6-4_armhf.deb	3.40M	2016-12-30 03:12:14
coq-theories_8.6-4_arm64.deb	21.80M	2016-12-30 01:57:08
coq_8.6-4_arm64.deb	13.19M	2016-12-30 01:57:08
coqide_8.6-4_arm64.deb	1.36M	2016-12-30 01:57:08
libcoq-ocaml-dev_8.6-4_arm64.deb	12.89M	2016-12-30 01:57:08
libcoq-ocaml_8.6-4_arm64.deb	3.32M	2016-12-30 01:57:08
coq-theories_8.6-4_i386.deb	28.99M	2016-12-30 01:57:06
coq_8.6-4_i386.deb	12.96M	2016-12-30 01:57:06
coqide_8.6-4_i386.deb	1.25M	2016-12-30 01:57:06
libcoq-ocaml-dev_8.6-4_i386.deb	12.71M	2016-12-30 01:57:06
libcoq-ocaml_8.6-4_i386.deb	3.24M	2016-12-30 01:57:06
coq-theories_8.6-4_amd64.deb	29.98M	2016-12-30 00:56:57
coq_8.6-4.debian.tar.xz	21.5K	2016-12-30 00:56:57
coq_8.6-4.dsc	2.3K	2016-12-30 00:56:57
coq_8.6-4_amd64.deb	13.31M	2016-12-30 00:56:57
coqide_8.6-4_amd64.deb	1.34M	2016-12-30 00:56:57
libcoq-ocaml-dev_8.6-4_amd64.deb	12.67M	2016-12-30 00:56:57
libcoq-ocaml_8.6-4_amd64.deb	3.34M	2016-12-30 00:56:57
coq_8.6.orig.tar.gz	4.78M	2016-12-28 13:44:02
coq_8.4pl4dfsg-1_arm64.deb	1.11M	2014-09-11 03:27:48
coqide_8.4pl4dfsg-1_arm64.deb	249.3K	2014-09-11 03:27:48
libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb	1.24M	2014-09-11 03:27:48
libcoq-ocaml_8.4pl4dfsg-1_arm64.deb	371.3K	2014-09-11 03:27:48
coq_8.4pl4dfsg-1_ppc64el.deb	1.11M	2014-09-06 17:57:40
coqide_8.4pl4dfsg-1_ppc64el.deb	249.4K	2014-09-06 17:57:40
libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb	1.24M	2014-09-06 17:57:40
libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb	372.2K	2014-09-06 17:57:40
coq_8.4pl4dfsg-1+b1_s390x.deb	1.11M	2014-08-27 02:42:11
coqide_8.4pl4dfsg-1+b1_s390x.deb	249.6K	2014-08-27 02:42:11
libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb	1.24M	2014-08-27 02:42:11
libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb	373.9K	2014-08-27 02:42:11
coq_8.4pl4dfsg-1_mips.deb	1.11M	2014-07-31 14:58:07
coqide_8.4pl4dfsg-1_mips.deb	249.3K	2014-07-31 14:58:07
libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb	1.24M	2014-07-31 14:58:07
libcoq-ocaml_8.4pl4dfsg-1_mips.deb	373.0K	2014-07-31 14:58:07
coq_8.4pl4dfsg-1_mipsel.deb	1.11M	2014-07-28 02:14:55
coqide_8.4pl4dfsg-1_mipsel.deb	249.3K	2014-07-28 02:14:55
libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb	1.24M	2014-07-28 02:14:55
libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb	372.8K	2014-07-28 02:14:55
coq_8.4pl4dfsg-1_armhf.deb	3.74M	2014-07-27 21:28:40
coqide_8.4pl4dfsg-1_armhf.deb	0.78M	2014-07-27 21:28:40
libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb	3.83M	2014-07-27 21:28:40
libcoq-ocaml_8.4pl4dfsg-1_armhf.deb	1.51M	2014-07-27 21:28:40
coq_8.4pl4dfsg-1_armel.deb	3.65M	2014-07-27 18:28:13
coqide_8.4pl4dfsg-1_armel.deb	0.76M	2014-07-27 18:28:13
libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb	3.93M	2014-07-27 18:28:13
libcoq-ocaml_8.4pl4dfsg-1_armel.deb	1.47M	2014-07-27 18:28:13
coq_8.4pl4dfsg-1_powerpc.deb	3.38M	2014-07-27 17:28:03
coqide_8.4pl4dfsg-1_powerpc.deb	0.66M	2014-07-27 17:28:03
libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb	3.50M	2014-07-27 17:28:03
libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb	1.36M	2014-07-27 17:28:03
coq_8.4pl4dfsg-1_kfreebsd-i386.deb	3.75M	2014-07-27 17:12:57
coqide_8.4pl4dfsg-1_kfreebsd-i386.deb	0.70M	2014-07-27 17:12:57
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb	3.51M	2014-07-27 17:12:57
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb	1.42M	2014-07-27 17:12:57
coq_8.4pl4dfsg-1_i386.deb	3.63M	2014-07-27 16:57:54
coqide_8.4pl4dfsg-1_i386.deb	0.70M	2014-07-27 16:57:54
libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb	3.60M	2014-07-27 16:57:54
libcoq-ocaml_8.4pl4dfsg-1_i386.deb	1.42M	2014-07-27 16:57:54
coq_8.4pl4dfsg-1_kfreebsd-amd64.deb	4.00M	2014-07-27 16:57:52
coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb	0.76M	2014-07-27 16:57:52
libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb	3.50M	2014-07-27 16:57:52
libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb	1.56M	2014-07-27 16:57:52
coq-theories_8.4pl4dfsg-1_all.deb	30.69M	2014-07-27 15:26:59
coq_8.4pl4dfsg-1.debian.tar.xz	15.3K	2014-07-27 15:26:59
coq_8.4pl4dfsg-1.dsc	2.3K	2014-07-27 15:26:59
coq_8.4pl4dfsg-1_amd64.deb	3.86M	2014-07-27 15:26:59
coq_8.4pl4dfsg.orig.tar.gz	3.36M	2014-07-27 15:26:59
coqide_8.4pl4dfsg-1_amd64.deb	0.76M	2014-07-27 15:26:59
libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb	3.61M	2014-07-27 15:26:59
libcoq-ocaml_8.4pl4dfsg-1_amd64.deb	1.56M	2014-07-27 15:26:59
coq_8.3.pl4+dfsg-2_mips.deb	1.73M	2012-06-08 15:19:25
coqide_8.3.pl4+dfsg-2_mips.deb	2.42M	2012-06-08 15:19:25
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb	2.42M	2012-06-08 15:19:25
libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb	0.51M	2012-06-08 15:19:25
coq_8.3.pl4+dfsg-2_ia64.deb	1.73M	2012-06-07 19:03:42
coqide_8.3.pl4+dfsg-2_ia64.deb	2.42M	2012-06-07 19:03:42
libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb	2.40M	2012-06-07 19:03:42
libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb	0.51M	2012-06-07 19:03:42
coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	5.42M	2012-06-06 20:48:09
coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	5.36M	2012-06-06 20:48:09
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	5.61M	2012-06-06 20:48:09
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb	2.00M	2012-06-06 20:48:09
coq_8.3.pl4+dfsg-2_armhf.deb	1.73M	2012-06-06 15:32:08
coqide_8.3.pl4+dfsg-2_armhf.deb	2.42M	2012-06-06 15:32:08
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb	2.41M	2012-06-06 15:32:08
libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb	0.51M	2012-06-06 15:32:08
coq_8.3.pl4+dfsg-2_mipsel.deb	1.73M	2012-06-06 12:32:07
coqide_8.3.pl4+dfsg-2_mipsel.deb	2.42M	2012-06-06 12:32:07
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb	2.40M	2012-06-06 12:32:07
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb	0.51M	2012-06-06 12:32:07
coq_8.3.pl4+dfsg-2_s390x.deb	1.73M	2012-06-06 11:17:11
coqide_8.3.pl4+dfsg-2_s390x.deb	2.42M	2012-06-06 11:17:11
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb	2.42M	2012-06-06 11:17:11
libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb	0.51M	2012-06-06 11:17:11
coq_8.3.pl4+dfsg-2_armel.deb	5.83M	2012-06-06 10:47:07
coqide_8.3.pl4+dfsg-2_armel.deb	5.86M	2012-06-06 10:47:07
libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb	7.24M	2012-06-06 10:47:07
libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb	0.51M	2012-06-06 10:47:07
coq_8.3.pl4+dfsg-2_sparc.deb	5.17M	2012-06-06 10:32:07
coqide_8.3.pl4+dfsg-2_sparc.deb	5.24M	2012-06-06 10:32:07
libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb	6.14M	2012-06-06 10:32:07
libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb	2.03M	2012-06-06 10:32:07
coq_8.3.pl4+dfsg-2_s390.deb	1.73M	2012-06-06 10:17:23
coqide_8.3.pl4+dfsg-2_s390.deb	2.42M	2012-06-06 10:17:23
libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb	2.41M	2012-06-06 10:17:23
libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb	0.51M	2012-06-06 10:17:23
coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb	4.83M	2012-06-06 10:17:07
coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb	4.99M	2012-06-06 10:17:07
libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb	5.49M	2012-06-06 10:17:07
libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb	1.78M	2012-06-06 10:17:07
coq_8.3.pl4+dfsg-2_powerpc.deb	5.30M	2012-06-06 09:02:55
coqide_8.3.pl4+dfsg-2_powerpc.deb	5.38M	2012-06-06 09:02:55
libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb	6.42M	2012-06-06 09:02:55
libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb	2.04M	2012-06-06 09:02:55
coq_8.3.pl4+dfsg-2_i386.deb	4.84M	2012-06-06 07:32:07
coqide_8.3.pl4+dfsg-2_i386.deb	4.99M	2012-06-06 07:32:07
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb	5.52M	2012-06-06 07:32:07
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb	1.77M	2012-06-06 07:32:07
coq-theories_8.3.pl4+dfsg-2_all.deb	51.90M	2012-06-06 06:32:23
coq_8.3.pl4+dfsg-2.debian.tar.gz	15.9K	2012-06-06 06:32:23
coq_8.3.pl4+dfsg-2.dsc	2.3K	2012-06-06 06:32:23
coq_8.3.pl4+dfsg-2_amd64.deb	5.42M	2012-06-06 06:32:23
coqide_8.3.pl4+dfsg-2_amd64.deb	5.36M	2012-06-06 06:32:23
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb	5.64M	2012-06-06 06:32:23
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb	2.00M	2012-06-06 06:32:23
coq_8.3.pl4+dfsg.orig.tar.gz	3.01M	2012-03-27 07:02:34
coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	14.64M	2010-07-04 13:48:15
coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	6.25M	2010-07-04 13:48:15
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb	5.77M	2010-07-04 13:48:15
coq_8.2.pl2+dfsg-1_sparc.deb	14.73M	2010-07-04 13:18:49
coqide_8.2.pl2+dfsg-1_sparc.deb	6.33M	2010-07-04 13:18:49
libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb	6.43M	2010-07-04 13:18:49
coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb	13.08M	2010-07-04 13:18:43
coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb	5.75M	2010-07-04 13:18:43
libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb	5.62M	2010-07-04 13:18:43
coq_8.2.pl2+dfsg-1_mips.deb	3.50M	2010-07-04 12:48:29
coqide_8.2.pl2+dfsg-1_mips.deb	2.31M	2010-07-04 12:48:29
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb	1.87M	2010-07-04 12:48:29
coq_8.2.pl2+dfsg-1_ia64.deb	3.50M	2010-07-03 20:47:28
coqide_8.2.pl2+dfsg-1_ia64.deb	2.30M	2010-07-03 20:47:28
libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb	1.87M	2010-07-03 20:47:28
coq_8.2.pl2+dfsg-1_armel.deb	3.50M	2010-07-03 20:17:16
coqide_8.2.pl2+dfsg-1_armel.deb	2.30M	2010-07-03 20:17:16
libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb	1.88M	2010-07-03 20:17:16
coq_8.2.pl2+dfsg-1_s390.deb	3.50M	2010-07-03 16:42:46
coqide_8.2.pl2+dfsg-1_s390.deb	2.30M	2010-07-03 16:42:46
libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb	1.87M	2010-07-03 16:42:46
coq_8.2.pl2+dfsg-1_powerpc.deb	14.67M	2010-07-03 16:42:41
coqide_8.2.pl2+dfsg-1_powerpc.deb	6.29M	2010-07-03 16:42:41
libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb	6.72M	2010-07-03 16:42:41
coq_8.2.pl2+dfsg-1_mipsel.deb	3.50M	2010-07-03 06:32:26
coqide_8.2.pl2+dfsg-1_mipsel.deb	2.31M	2010-07-03 06:32:26
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb	1.88M	2010-07-03 06:32:26
coq_8.2.pl2+dfsg-1_i386.deb	13.08M	2010-07-02 17:03:18
coqide_8.2.pl2+dfsg-1_i386.deb	5.75M	2010-07-02 17:03:18
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	5.66M	2010-07-02 17:03:18
coq_8.2.pl2+dfsg.orig.tar.gz	3.00M	2010-07-02 15:19:49
coqide_8.2.pl2+dfsg-1_amd64.deb	6.25M	2010-07-02 15:19:49
coq-theories_8.2.pl2+dfsg-1_all.deb	17.54M	2010-07-02 15:19:48
coq_8.2.pl2+dfsg-1.debian.tar.gz	16.4K	2010-07-02 15:19:47
coq_8.2.pl2+dfsg-1.dsc	2.1K	2010-07-02 15:19:47
coq_8.2.pl2+dfsg-1_amd64.deb	14.64M	2010-07-02 15:19:47
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	5.80M	2010-07-02 15:19:47
coq_8.1.pl3+dfsg-1+b2_hppa.deb	4.08M	2008-05-29 12:32:11
coqide_8.1.pl3+dfsg-1+b2_hppa.deb	2.33M	2008-05-29 12:32:11
coq_8.1.pl3+dfsg-1+b2_powerpc.deb	9.02M	2008-05-28 17:47:12
coqide_8.1.pl3+dfsg-1+b2_powerpc.deb	5.25M	2008-05-28 17:47:12
coq_8.1.pl3+dfsg-1+b2_mips.deb	4.05M	2008-05-27 16:17:05
coqide_8.1.pl3+dfsg-1+b2_mips.deb	2.32M	2008-05-27 16:17:04
coq_8.1.pl3+dfsg-1+b2_ia64.deb	4.27M	2008-05-27 12:32:02
coqide_8.1.pl3+dfsg-1+b2_ia64.deb	2.38M	2008-05-27 12:32:02
coq_8.1.pl3+dfsg-1+b2_i386.deb	8.07M	2008-05-26 14:17:09
coqide_8.1.pl3+dfsg-1+b2_i386.deb	4.70M	2008-05-26 14:17:09
coq_8.1.pl3+dfsg-1+b2_s390.deb	4.13M	2008-05-25 18:47:05
coqide_8.1.pl3+dfsg-1+b2_s390.deb	2.38M	2008-05-25 18:47:05
coq_8.1.pl3+dfsg-1+b2_arm.deb	4.00M	2008-05-25 09:02:10
coqide_8.1.pl3+dfsg-1+b2_arm.deb	2.30M	2008-05-25 09:02:10
coq_8.1.pl3+dfsg-1+b2_armel.deb	4.02M	2008-05-24 23:17:01
coqide_8.1.pl3+dfsg-1+b2_armel.deb	2.30M	2008-05-24 23:17:01
coq_8.1.pl3+dfsg-1+b2_mipsel.deb	4.04M	2008-05-24 18:02:15
coqide_8.1.pl3+dfsg-1+b2_mipsel.deb	2.31M	2008-05-24 18:02:15
coq_8.1.pl3+dfsg-1+b2_alpha.deb	4.14M	2008-05-24 18:02:14
coqide_8.1.pl3+dfsg-1+b2_alpha.deb	2.35M	2008-05-24 18:02:14
coq_8.1.pl3+dfsg-1+b2_sparc.deb	9.03M	2008-05-24 09:02:03
coqide_8.1.pl3+dfsg-1+b2_sparc.deb	5.26M	2008-05-24 09:02:03
coq_8.1.pl3+dfsg-1+b2_amd64.deb	8.62M	2008-05-23 16:17:02
coqide_8.1.pl3+dfsg-1+b2_amd64.deb	4.99M	2008-05-23 16:17:02
coq-libs_8.1.pl3+dfsg-1_all.deb	12.01M	2008-01-05 09:32:01
coq_8.1.pl3+dfsg-1.diff.gz	15.2K	2008-01-05 09:32:01
coq_8.1.pl3+dfsg-1.dsc	1.0K	2008-01-05 09:32:01
coq_8.1.pl3+dfsg.orig.tar.gz	2.42M	2008-01-05 09:32:01
coq_8.0pl3-2_amd64.deb	6.25M	2006-03-31 15:02:06
coqide_8.0pl3-2_amd64.deb	3.49M	2006-03-31 15:02:06
coq_8.0pl3-2_m68k.deb	2.65M	2006-02-23 18:02:06
coqide_8.0pl3-2_m68k.deb	1.28M	2006-02-23 18:02:06
coq_8.0pl3-2_powerpc.deb	6.63M	2006-02-20 17:02:34
coq_8.0pl3-2_mipsel.deb	2.78M	2006-02-20 17:02:33
coqide_8.0pl3-2_mipsel.deb	1.28M	2006-02-20 17:02:33
coqide_8.0pl3-2_powerpc.deb	3.71M	2006-02-20 17:02:33
coq_8.0pl3-2_mips.deb	2.79M	2006-02-20 17:02:32
coqide_8.0pl3-2_mips.deb	1.29M	2006-02-20 17:02:32
coq_8.0pl3-2_alpha.deb	2.86M	2006-02-20 17:02:31
coqide_8.0pl3-2_alpha.deb	1.31M	2006-02-20 17:02:31
coq_8.0pl3-2_sparc.deb	6.72M	2006-02-20 02:47:07
coqide_8.0pl3-2_sparc.deb	3.79M	2006-02-20 02:47:07
coq_8.0pl3-2_arm.deb	2.72M	2006-02-20 02:47:06
coqide_8.0pl3-2_arm.deb	1.27M	2006-02-20 02:47:06
coq_8.0pl3-2_s390.deb	2.84M	2006-02-19 21:47:16
coqide_8.0pl3-2_s390.deb	1.32M	2006-02-19 21:47:16
coq_8.0pl3-2_hppa.deb	2.83M	2006-02-19 17:47:15
coq_8.0pl3-2_ia64.deb	3.00M	2006-02-19 17:47:15
coqide_8.0pl3-2_hppa.deb	1.30M	2006-02-19 17:47:15
coqide_8.0pl3-2_ia64.deb	1.33M	2006-02-19 17:47:15
coq-libs_8.0pl3-2_all.deb	3.56M	2006-02-19 12:32:04
coq7-libs_8.0pl3-2_all.deb	3.64M	2006-02-19 12:32:04
coq_8.0pl3-2.diff.gz	15.9K	2006-02-19 12:32:04
coq_8.0pl3-2.dsc	0.9K	2006-02-19 12:32:04
coq_8.0pl3-2_i386.deb	5.83M	2006-02-19 12:32:04
coqide_8.0pl3-2_i386.deb	3.28M	2006-02-19 12:32:04
coq_8.0pl3.orig.tar.gz	2.20M	2006-01-23 22:02:24
coq-libs_8.0pl2-2_all.deb	3.56M	2005-04-30 11:54:09
coq_8.0pl2-2.diff.gz	10.8K	2005-04-30 11:54:09
coq_8.0pl2-2.dsc	0.9K	2005-04-30 11:54:09
coq_8.0pl2.orig.tar.gz	2.18M	2005-04-30 11:54:09
coq_8.0pl2-2_arm.deb	2.68M	2005-04-09 00:18:07
coqide_8.0pl2-2_arm.deb	1.86M	2005-04-09 00:18:07
coq_8.0pl2-2_mips.deb	2.73M	2005-04-04 18:02:11
coqide_8.0pl2-2_mips.deb	1.87M	2005-04-04 18:02:11
coq_8.0pl2-2_m68k.deb	2.61M	2005-04-02 10:17:08
coqide_8.0pl2-2_m68k.deb	1.87M	2005-04-02 10:17:08
coq_8.0pl2-2_s390.deb	2.78M	2005-04-01 08:32:04
coqide_8.0pl2-2_s390.deb	1.91M	2005-04-01 08:32:04
coq_8.0pl2-2_alpha.deb	2.82M	2005-04-01 03:17:02
coqide_8.0pl2-2_alpha.deb	1.90M	2005-04-01 03:17:02
coq_8.0pl2-2_mipsel.deb	2.72M	2005-04-01 03:02:02
coqide_8.0pl2-2_mipsel.deb	1.86M	2005-04-01 03:02:02
coq_8.0pl2-2_sparc.deb	6.65M	2005-04-01 02:17:23
coqide_8.0pl2-2_sparc.deb	4.38M	2005-04-01 02:17:23
coq_8.0pl2-2_ia64.deb	2.97M	2005-04-01 01:47:09
coqide_8.0pl2-2_ia64.deb	1.92M	2005-04-01 01:47:09
coq_8.0pl2-2_hppa.deb	6.96M	2005-04-01 01:32:04
coqide_8.0pl2-2_hppa.deb	4.54M	2005-04-01 01:32:04
coq_8.0pl2-2_powerpc.deb	6.57M	2005-04-01 00:02:20
coqide_8.0pl2-2_powerpc.deb	4.31M	2005-04-01 00:02:20
coq7-libs_8.0pl2-2_all.deb	3.63M	2005-03-31 22:17:09
coq_8.0pl2-2_i386.deb	5.76M	2005-03-31 22:17:09
coqide_8.0pl2-2_i386.deb	3.87M	2005-03-31 22:17:09
coq_7.2-9_m68k.deb	6.81M	2002-02-18 11:12:24
coq_7.2-9_powerpc.deb	6.87M	2002-02-16 18:36:03
coq_7.2-9_mips.deb	6.90M	2002-02-16 18:33:05
coq_7.2-9_mipsel.deb	6.89M	2002-02-16 18:32:43
coq_7.2-9_sparc.deb	6.90M	2002-02-16 18:32:34
coq_7.2-9_alpha.deb	8.48M	2002-02-16 18:22:09
coq_7.2-9_ia64.deb	9.45M	2002-02-16 18:11:56
coq_7.2-9_hppa.deb	6.97M	2002-02-16 18:11:46
coq_7.2-9_s390.deb	6.87M	2002-02-16 14:14:05
coq_7.2-9_arm.deb	8.05M	2002-02-16 11:41:20
coq_7.2-9.diff.gz	4.5K	2002-02-15 19:24:06
coq_7.2-9_i386.deb	7.80M	2002-02-15 19:24:05
coq_7.2-9.dsc	0.6K	2002-02-15 19:15:54
coq_7.2.orig.tar.gz	1.10M	2002-01-18 21:26:16