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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]coq_8.9.0-1_arm64.deb2019-02-07 09:26 60M
[ ]coq_8.9.0-1_ppc64el.deb2019-02-07 09:00 58M
[ ]coq_8.9.0-1_s390x.deb2019-02-07 09:00 56M
[ ]coq_8.9.0-1_amd64.deb2019-02-07 07:49 56M
[ ]coq_8.9.0-1_armhf.deb2019-02-08 10:15 55M
[ ]coq_8.9.0-1_i386.deb2019-02-07 09:21 54M
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-06 18:32 52M
[ ]coq_8.9.0-1_mips64el.deb2019-02-09 21:29 48M
[ ]coq_8.9.0-1_armel.deb2019-02-07 14:44 48M
[ ]coq_8.9.0-1_mips.deb2019-02-07 16:15 48M
[ ]coq_8.9.0-1_mipsel.deb2019-02-07 13:59 48M
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-28 03:26 31M
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 13:56 30M
[ ]coq-theories_8.6-4_i386.deb2016-12-30 14:57 29M
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-07 07:49 28M
[ ]coq-theories_8.9.0-1_i386.deb2019-02-07 09:21 27M
[ ]coq-theories_8.6-4_arm64.deb2016-12-30 14:57 22M
[ ]coq-theories_8.6-4_ppc64el.deb2016-12-30 16:57 22M
[ ]coq-theories_8.6-4_mips64el.deb2016-12-31 03:29 22M
[ ]coq-theories_8.6-4_s390x.deb2016-12-30 18:27 22M
[ ]coq-theories_8.6-4_armhf.deb2016-12-30 16:12 22M
[ ]coq-theories_8.6-4_armel.deb2016-12-30 16:12 22M
[ ]coq-theories_8.6-4_mipsel.deb2016-12-30 20:57 22M
[ ]coq-theories_8.6-4_mips.deb2016-12-30 20:57 22M
[ ]coq-theories_8.9.0-1_arm64.deb2019-02-07 09:26 19M
[ ]coq-theories_8.9.0-1_s390x.deb2019-02-07 09:00 19M
[ ]coq-theories_8.9.0-1_ppc64el.deb2019-02-07 09:00 19M
[ ]coq-theories_8.9.0-1_mips64el.deb2019-02-09 21:29 19M
[ ]coq-theories_8.9.0-1_mipsel.deb2019-02-07 13:59 19M
[ ]coq-theories_8.9.0-1_mips.deb2019-02-07 16:15 19M
[ ]coq-theories_8.9.0-1_armel.deb2019-02-07 14:44 19M
[ ]coq-theories_8.9.0-1_armhf.deb2019-02-08 10:15 19M
[ ]coq_8.6-4_mips.deb2016-12-30 20:57 18M
[ ]coq_8.6-4_s390x.deb2016-12-30 18:27 18M
[ ]coq_8.6-4_mips64el.deb2016-12-31 03:29 18M
[ ]coq_8.6-4_mipsel.deb2016-12-30 20:57 18M
[ ]coq_8.6-4_ppc64el.deb2016-12-30 16:57 18M
[ ]coq-theories_8.2.pl2+dfsg-1_all.deb2010-07-03 03:19 18M
[ ]coq_8.2.pl2+dfsg-1_sparc.deb2010-07-05 01:18 15M
[ ]coq_8.2.pl2+dfsg-1_powerpc.deb2010-07-04 04:42 15M
[ ]coq_8.2.pl2+dfsg-1_amd64.deb2010-07-03 03:19 15M
[ ]coq_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-05 01:48 15M
[ ]libcoq-ocaml-dev_8.9.0-1_armhf.deb2019-02-08 10:15 14M
[ ]libcoq-ocaml-dev_8.6-4_armhf.deb2016-12-30 16:12 13M
[ ]libcoq-ocaml-dev_8.6-4_armel.deb2016-12-30 16:12 13M
[ ]libcoq-ocaml-dev_8.9.0-1_ppc64el.deb2019-02-07 09:00 13M
[ ]libcoq-ocaml-dev_8.9.0-1_arm64.deb2019-02-07 09:26 13M
[ ]coq_8.6-4_amd64.deb2016-12-30 13:56 13M
[ ]coq_8.6-4_armhf.deb2016-12-30 16:12 13M
[ ]coq_8.6-4_armel.deb2016-12-30 16:12 13M
[ ]coq_8.6-4_arm64.deb2016-12-30 14:57 13M
[ ]libcoq-ocaml-dev_8.9.0-1_s390x.deb2019-02-07 09:00 13M
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb2019-02-07 09:21 13M
[ ]coq_8.2.pl2+dfsg-1_i386.deb2010-07-03 05:03 13M
[ ]coq_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-05 01:18 13M
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-07 07:49 13M
[ ]coq_8.6-4_i386.deb2016-12-30 14:57 13M
[ ]libcoq-ocaml-dev_8.6-4_arm64.deb2016-12-30 14:57 13M
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-30 14:57 13M
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 13:56 13M
[ ]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-05 22:32 12M
[ ]libcoq-ocaml-dev_8.6-4_s390x.deb2016-12-30 18:27 9.6M
[ ]libcoq-ocaml-dev_8.6-4_ppc64el.deb2016-12-30 16:57 9.6M
[ ]libcoq-ocaml-dev_8.6-4_mipsel.deb2016-12-30 20:57 9.6M
[ ]libcoq-ocaml-dev_8.6-4_mips.deb2016-12-30 20:57 9.6M
[ ]libcoq-ocaml-dev_8.6-4_mips64el.deb2016-12-31 03:29 9.6M
[ ]coq_7.2-9_ia64.deb2002-02-17 07:11 9.5M
[ ]coq_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 21:02 9.0M
[ ]coq_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-29 05:47 9.0M
[ ]coq_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-24 04:17 8.6M
[ ]coq_7.2-9_alpha.deb2002-02-17 07:22 8.5M
[ ]coq_8.1.pl3+dfsg-1+b2_i386.deb2008-05-27 02:17 8.1M
[ ]coq_7.2-9_arm.deb2002-02-17 00:41 8.1M
[ ]coq_7.2-9_i386.deb2002-02-16 08:24 7.8M
[ ]libcoq-ocaml-dev_8.9.0-1_armel.deb2019-02-07 14:44 7.6M
[ ]libcoq-ocaml-dev_8.9.0-1_mips64el.deb2019-02-09 21:29 7.6M
[ ]libcoq-ocaml-dev_8.9.0-1_mipsel.deb2019-02-07 13:59 7.6M
[ ]libcoq-ocaml-dev_8.9.0-1_mips.deb2019-02-07 16:15 7.6M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb2012-06-06 22:47 7.2M
[ ]coq_7.2-9_hppa.deb2002-02-17 07:11 7.0M
[ ]coq_8.0pl2-2_hppa.deb2005-04-01 13:32 7.0M
[ ]coq_7.2-9_sparc.deb2002-02-17 07:32 6.9M
[ ]coq_7.2-9_mips.deb2002-02-17 07:33 6.9M
[ ]coq_7.2-9_mipsel.deb2002-02-17 07:32 6.9M
[ ]coq_7.2-9_s390.deb2002-02-17 03:14 6.9M
[ ]coq_7.2-9_powerpc.deb2002-02-17 07:36 6.9M
[ ]coq_7.2-9_m68k.deb2002-02-19 00:12 6.8M
[ ]coq_8.0pl3-2_sparc.deb2006-02-20 15:47 6.7M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_powerpc.deb2010-07-04 04:42 6.7M
[ ]coq_8.0pl2-2_sparc.deb2005-04-01 14:17 6.7M
[ ]coq_8.0pl3-2_powerpc.deb2006-02-21 06:02 6.6M
[ ]coq_8.0pl2-2_powerpc.deb2005-04-01 12:02 6.6M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_sparc.deb2010-07-05 01:18 6.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 21:02 6.4M
[ ]coqide_8.2.pl2+dfsg-1_sparc.deb2010-07-05 01:18 6.3M
[ ]coqide_8.2.pl2+dfsg-1_powerpc.deb2010-07-04 04:42 6.3M
[ ]coqide_8.2.pl2+dfsg-1_amd64.deb2010-07-03 03:19 6.2M
[ ]coqide_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-05 01:48 6.2M
[ ]coq_8.0pl3-2_amd64.deb2006-04-01 03:02 6.2M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb2012-06-06 22:32 6.1M
[ ]coqide_8.3.pl4+dfsg-2_armel.deb2012-06-06 22:47 5.9M
[ ]coq_8.3.pl4+dfsg-2_armel.deb2012-06-06 22:47 5.8M
[ ]coq_8.0pl3-2_i386.deb2006-02-20 01:32 5.8M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb2010-07-03 03:19 5.8M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-amd64.deb2010-07-05 01:48 5.8M
[ ]coq_8.0pl2-2_i386.deb2005-04-01 10:17 5.8M
[ ]coqide_8.2.pl2+dfsg-1_i386.deb2010-07-03 05:03 5.7M
[ ]coqide_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-05 01:18 5.7M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb2010-07-03 05:03 5.7M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-06 18:32 5.6M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_kfreebsd-i386.deb2010-07-05 01:18 5.6M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-07 08:48 5.6M
[ ]libcoq-ocaml_8.9.0-1_arm64.deb2019-02-07 09:26 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-06 19:32 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 22:17 5.5M
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-06 18:32 5.4M
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-07 08:48 5.4M
[ ]coqide_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 21:02 5.4M
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-06 18:32 5.4M
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-07 08:48 5.4M
[ ]libcoq-ocaml_8.9.0-1_ppc64el.deb2019-02-07 09:00 5.3M
[ ]coq_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 21:02 5.3M
[ ]libcoq-ocaml_8.9.0-1_s390x.deb2019-02-07 09:00 5.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_sparc.deb2008-05-24 21:02 5.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_powerpc.deb2008-05-29 05:47 5.2M
[ ]coqide_8.3.pl4+dfsg-2_sparc.deb2012-06-06 22:32 5.2M
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-07 07:49 5.2M
[ ]coq_8.3.pl4+dfsg-2_sparc.deb2012-06-06 22:32 5.2M
[ ]coq_8.9.0.orig.tar.gz2019-02-07 07:49 5.1M
[ ]libcoq-ocaml_8.9.0-1_armhf.deb2019-02-08 10:15 5.1M
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-06 19:32 5.0M
[ ]coqide_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 22:17 5.0M
[ ]coqide_8.1.pl3+dfsg-1+b2_amd64.deb2008-05-24 04:17 5.0M
[ ]libcoq-ocaml_8.9.0-1_i386.deb2019-02-07 09:21 4.9M
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-06 19:32 4.8M
[ ]coq_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 22:17 4.8M
[ ]coq_8.6.orig.tar.gz2016-12-29 02:44 4.8M
[ ]coqide_8.1.pl3+dfsg-1+b2_i386.deb2008-05-27 02:17 4.7M
[ ]coqide_8.0pl2-2_hppa.deb2005-04-01 13:32 4.5M
[ ]coqide_8.0pl2-2_sparc.deb2005-04-01 14:17 4.4M
[ ]coqide_8.0pl2-2_powerpc.deb2005-04-01 12:02 4.3M
[ ]coq_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-28 00:32 4.3M
[ ]coq_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-25 06:02 4.1M
[ ]coq_8.1.pl3+dfsg-1+b2_s390.deb2008-05-26 06:47 4.1M
[ ]coq_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-30 00:32 4.1M
[ ]coq_8.1.pl3+dfsg-1+b2_mips.deb2008-05-28 04:17 4.0M
[ ]coq_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-25 06:02 4.0M
[ ]coq_8.1.pl3+dfsg-1+b2_armel.deb2008-05-25 11:17 4.0M
[ ]coq_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-28 04:57 4.0M
[ ]coq_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 21:02 4.0M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb2014-07-28 06:28 3.9M
[ ]coqide_8.0pl2-2_i386.deb2005-04-01 10:17 3.9M
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-28 03:26 3.9M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-07-28 09:28 3.8M
[ ]coqide_8.0pl3-2_sparc.deb2006-02-20 15:47 3.8M
[ ]coq_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-28 05:12 3.7M
[ ]coq_8.4pl4dfsg-1_armhf.deb2014-07-28 09:28 3.7M
[ ]coqide_8.0pl3-2_powerpc.deb2006-02-21 06:02 3.7M
[ ]coq_8.4pl4dfsg-1_armel.deb2014-07-28 06:28 3.7M
[ ]coq7-libs_8.0pl3-2_all.deb2006-02-20 01:32 3.6M
[ ]coq7-libs_8.0pl2-2_all.deb2005-04-01 10:17 3.6M
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-28 04:57 3.6M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-28 03:26 3.6M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-28 04:57 3.6M
[ ]coq-libs_8.0pl3-2_all.deb2006-02-20 01:32 3.6M
[ ]coq-libs_8.0pl2-2_all.deb2005-04-30 23:54 3.6M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-28 05:12 3.5M
[ ]coq_8.2.pl2+dfsg-1_ia64.deb2010-07-04 08:47 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-28 04:57 3.5M
[ ]coq_8.2.pl2+dfsg-1_armel.deb2010-07-04 08:17 3.5M
[ ]coq_8.2.pl2+dfsg-1_s390.deb2010-07-04 04:42 3.5M
[ ]coq_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 18:32 3.5M
[ ]coq_8.2.pl2+dfsg-1_mips.deb2010-07-05 00:48 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb2014-07-28 05:28 3.5M
[ ]coqide_8.0pl3-2_amd64.deb2006-04-01 03:02 3.5M
[ ]libcoq-ocaml_8.9.0-1_mips.deb2019-02-07 16:15 3.4M
[ ]libcoq-ocaml_8.9.0-1_mipsel.deb2019-02-07 13:59 3.4M
[ ]libcoq-ocaml_8.9.0-1_armel.deb2019-02-07 14:44 3.4M
[ ]libcoq-ocaml_8.9.0-1_mips64el.deb2019-02-09 21:29 3.4M
[ ]libcoq-ocaml_8.6-4_armhf.deb2016-12-30 16:12 3.4M
[ ]coq_8.4pl4dfsg-1_powerpc.deb2014-07-28 05:28 3.4M
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-28 03:26 3.4M
[ ]libcoq-ocaml_8.6-4_armel.deb2016-12-30 16:12 3.4M
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 13:56 3.3M
[ ]libcoq-ocaml_8.6-4_arm64.deb2016-12-30 14:57 3.3M
[ ]coqide_8.0pl3-2_i386.deb2006-02-20 01:32 3.3M
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-30 14:57 3.2M
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-03-27 20:02 3.0M
[ ]coq_8.0pl3-2_ia64.deb2006-02-20 06:47 3.0M
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-03 03:19 3.0M
[ ]coq_8.0pl2-2_ia64.deb2005-04-01 13:47 3.0M
[ ]coq_8.0pl3-2_alpha.deb2006-02-21 06:02 2.9M
[ ]coq_8.0pl3-2_s390.deb2006-02-20 10:47 2.8M
[ ]coq_8.0pl3-2_hppa.deb2006-02-20 06:47 2.8M
[ ]coq_8.0pl2-2_alpha.deb2005-04-01 15:17 2.8M
[ ]coq_8.0pl3-2_mips.deb2006-02-21 06:02 2.8M
[ ]coq_8.0pl3-2_mipsel.deb2006-02-21 06:02 2.8M
[ ]coq_8.0pl2-2_s390.deb2005-04-01 20:32 2.8M
[ ]coq_8.0pl2-2_mips.deb2005-04-05 06:02 2.7M
[ ]coq_8.0pl3-2_arm.deb2006-02-20 15:47 2.7M
[ ]coq_8.0pl2-2_mipsel.deb2005-04-01 15:02 2.7M
[ ]coq_8.0pl2-2_arm.deb2005-04-09 12:18 2.7M
[ ]coq_8.0pl3-2_m68k.deb2006-02-24 07:02 2.6M
[ ]coq_8.0pl2-2_m68k.deb2005-04-02 22:17 2.6M
[ ]coqide_8.3.pl4+dfsg-2_s390x.deb2012-06-06 23:17 2.4M
[ ]coqide_8.3.pl4+dfsg-2_armhf.deb2012-06-07 03:32 2.4M
[ ]coqide_8.3.pl4+dfsg-2_s390.deb2012-06-06 22:17 2.4M
[ ]coqide_8.3.pl4+dfsg-2_mips.deb2012-06-09 03:19 2.4M
[ ]coqide_8.3.pl4+dfsg-2_mipsel.deb2012-06-07 00:32 2.4M
[ ]coqide_8.3.pl4+dfsg-2_ia64.deb2012-06-08 07:03 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390x.deb2012-06-06 23:17 2.4M
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-05 22:32 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mips.deb2012-06-09 03:19 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_s390.deb2012-06-06 22:17 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armhf.deb2012-06-07 03:32 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb2012-06-07 00:32 2.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_ia64.deb2012-06-08 07:03 2.4M
[ ]coqide_8.1.pl3+dfsg-1+b2_ia64.deb2008-05-28 00:32 2.4M
[ ]coqide_8.1.pl3+dfsg-1+b2_s390.deb2008-05-26 06:47 2.4M
[ ]coqide_8.1.pl3+dfsg-1+b2_alpha.deb2008-05-25 06:02 2.4M
[ ]coqide_8.1.pl3+dfsg-1+b2_hppa.deb2008-05-30 00:32 2.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_mips.deb2008-05-28 04:17 2.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_mipsel.deb2008-05-25 06:02 2.3M
[ ]coqide_8.2.pl2+dfsg-1_mips.deb2010-07-05 00:48 2.3M
[ ]coqide_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 18:32 2.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_armel.deb2008-05-25 11:17 2.3M
[ ]coqide_8.2.pl2+dfsg-1_armel.deb2010-07-04 08:17 2.3M
[ ]coqide_8.2.pl2+dfsg-1_ia64.deb2010-07-04 08:47 2.3M
[ ]coqide_8.2.pl2+dfsg-1_s390.deb2010-07-04 04:42 2.3M
[ ]coqide_8.1.pl3+dfsg-1+b2_arm.deb2008-05-25 21:02 2.3M
[ ]libcoq-ocaml_8.6-4_s390x.deb2016-12-30 18:27 2.3M
[ ]libcoq-ocaml_8.6-4_mips.deb2016-12-30 20:57 2.3M
[ ]libcoq-ocaml_8.6-4_mipsel.deb2016-12-30 20:57 2.3M
[ ]libcoq-ocaml_8.6-4_ppc64el.deb2016-12-30 16:57 2.3M
[ ]libcoq-ocaml_8.6-4_mips64el.deb2016-12-31 03:29 2.3M
[ ]coq_8.0pl3.orig.tar.gz2006-01-24 11:02 2.2M
[ ]coq_8.0pl2.orig.tar.gz2005-04-30 23:54 2.2M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb2012-06-06 21:02 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_sparc.deb2012-06-06 22:32 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-06 18:32 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-amd64.deb2012-06-07 08:48 2.0M
[ ]coqide_8.0pl2-2_ia64.deb2005-04-01 13:47 1.9M
[ ]coqide_8.0pl2-2_s390.deb2005-04-01 20:32 1.9M
[ ]coqide_8.0pl2-2_alpha.deb2005-04-01 15:17 1.9M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_armel.deb2010-07-04 08:17 1.9M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb2010-07-03 18:32 1.9M
[ ]coqide_8.0pl2-2_mips.deb2005-04-05 06:02 1.9M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_mips.deb2010-07-05 00:48 1.9M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_s390.deb2010-07-04 04:42 1.9M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1_ia64.deb2010-07-04 08:47 1.9M
[ ]coqide_8.0pl2-2_m68k.deb2005-04-02 22:17 1.9M
[ ]coqide_8.0pl2-2_mipsel.deb2005-04-01 15:02 1.9M
[ ]coqide_8.0pl2-2_arm.deb2005-04-09 12:18 1.9M
[ ]coqide_8.6-4_mipsel.deb2016-12-30 20:57 1.8M
[ ]coqide_8.6-4_mips64el.deb2016-12-31 03:29 1.8M
[ ]coqide_8.6-4_ppc64el.deb2016-12-30 16:57 1.8M
[ ]coqide_8.6-4_s390x.deb2016-12-30 18:27 1.8M
[ ]coqide_8.6-4_mips.deb2016-12-30 20:57 1.8M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_kfreebsd-i386.deb2012-06-06 22:17 1.8M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-06 19:32 1.8M
[ ]coq_8.3.pl4+dfsg-2_s390x.deb2012-06-06 23:17 1.7M
[ ]coq_8.3.pl4+dfsg-2_armhf.deb2012-06-07 03:32 1.7M
[ ]coq_8.3.pl4+dfsg-2_mipsel.deb2012-06-07 00:32 1.7M
[ ]coq_8.3.pl4+dfsg-2_ia64.deb2012-06-08 07:03 1.7M
[ ]coq_8.3.pl4+dfsg-2_mips.deb2012-06-09 03:19 1.7M
[ ]coq_8.3.pl4+dfsg-2_s390.deb2012-06-06 22:17 1.7M
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-28 04:57 1.6M
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-28 03:26 1.6M
[ ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-07-28 09:28 1.5M
[ ]libcoq-ocaml_8.4pl4dfsg-1_armel.deb2014-07-28 06:28 1.5M
[ ]libcoq-ocaml_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-28 05:12 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-28 04:57 1.4M
[ ]coqide_8.6-4_armhf.deb2016-12-30 16:12 1.4M
[ ]coqide_8.6-4_armel.deb2016-12-30 16:12 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb2014-07-28 05:28 1.4M
[ ]coqide_8.6-4_arm64.deb2016-12-30 14:57 1.4M
[ ]coqide_8.6-4_amd64.deb2016-12-30 13:56 1.3M
[ ]coqide_8.0pl3-2_ia64.deb2006-02-20 06:47 1.3M
[ ]coqide_8.0pl3-2_s390.deb2006-02-20 10:47 1.3M
[ ]coqide_8.0pl3-2_alpha.deb2006-02-21 06:02 1.3M
[ ]coqide_8.0pl3-2_hppa.deb2006-02-20 06:47 1.3M
[ ]coqide_8.0pl3-2_mips.deb2006-02-21 06:02 1.3M
[ ]coqide_8.0pl3-2_mipsel.deb2006-02-21 06:02 1.3M
[ ]coqide_8.0pl3-2_m68k.deb2006-02-24 07:02 1.3M
[ ]coqide_8.0pl3-2_arm.deb2006-02-20 15:47 1.3M
[ ]coqide_8.6-4_i386.deb2016-12-30 14:57 1.3M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 14:42 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_mipsel.deb2014-07-28 14:14 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb2014-09-11 15:27 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb2014-09-07 05:57 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_mips.deb2014-08-01 02:58 1.2M
[ ]coq_8.4pl4dfsg-1_mipsel.deb2014-07-28 14:14 1.1M
[ ]coq_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 14:42 1.1M
[ ]coq_8.4pl4dfsg-1_mips.deb2014-08-01 02:58 1.1M
[ ]coq_8.4pl4dfsg-1_ppc64el.deb2014-09-07 05:57 1.1M
[ ]coq_8.4pl4dfsg-1_arm64.deb2014-09-11 15:27 1.1M
[ ]coq_7.2.orig.tar.gz2002-01-19 10:26 1.1M
[ ]coqide_8.4pl4dfsg-1_armhf.deb2014-07-28 09:28 804K
[ ]coqide_8.4pl4dfsg-1_armel.deb2014-07-28 06:28 780K
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-28 03:26 779K
[ ]coqide_8.4pl4dfsg-1_kfreebsd-amd64.deb2014-07-28 04:57 777K
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-28 04:57 714K
[ ]coqide_8.4pl4dfsg-1_kfreebsd-i386.deb2014-07-28 05:12 712K
[ ]coqide_8.4pl4dfsg-1_powerpc.deb2014-07-28 05:28 679K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_s390x.deb2012-06-06 23:17 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_armhf.deb2012-06-07 03:32 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_ia64.deb2012-06-08 07:03 524K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_mips.deb2012-06-09 03:19 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb2012-06-06 22:47 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb2012-06-07 00:32 521K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_s390.deb2012-06-06 22:17 520K
[ ]libcoq-ocaml_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 14:42 374K
[ ]libcoq-ocaml_8.4pl4dfsg-1_mips.deb2014-08-01 02:58 373K
[ ]libcoq-ocaml_8.4pl4dfsg-1_mipsel.deb2014-07-28 14:14 373K
[ ]libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb2014-09-07 05:57 372K
[ ]libcoq-ocaml_8.4pl4dfsg-1_arm64.deb2014-09-11 15:27 371K
[ ]coqide_8.4pl4dfsg-1+b1_s390x.deb2014-08-27 14:42 250K
[ ]coqide_8.4pl4dfsg-1_ppc64el.deb2014-09-07 05:57 249K
[ ]coqide_8.4pl4dfsg-1_arm64.deb2014-09-11 15:27 249K
[ ]coqide_8.4pl4dfsg-1_mips.deb2014-08-01 02:58 249K
[ ]coqide_8.4pl4dfsg-1_mipsel.deb2014-07-28 14:14 249K
[ ]coq_8.9.0-1.debian.tar.xz2019-02-07 07:49 27K
[ ]coq_8.6-4.debian.tar.xz2016-12-30 13:56 21K
[ ]coq_8.2.pl2+dfsg-1.debian.tar.gz2010-07-03 03:19 16K
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-06 18:32 16K
[ ]coq_8.0pl3-2.diff.gz2006-02-20 01:32 16K
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-28 03:26 15K
[ ]coq_8.1.pl3+dfsg-1.diff.gz2008-01-05 22:32 15K
[ ]coq_8.0pl2-2.diff.gz2005-04-30 23:54 11K
[ ]coq_7.2-9.diff.gz2002-02-16 08:24 4.5K
[TXT]coq_8.9.0-1.dsc2019-02-07 07:49 2.4K
[TXT]coq_8.6-4.dsc2016-12-30 13:56 2.3K
[TXT]coq_8.4pl4dfsg-1.dsc2014-07-28 03:26 2.3K
[TXT]coq_8.3.pl4+dfsg-2.dsc2012-06-06 18:32 2.3K
[TXT]coq_8.2.pl2+dfsg-1.dsc2010-07-03 03:19 2.1K
[TXT]coq_8.1.pl3+dfsg-1.dsc2008-01-05 22:32 1.0K
[TXT]coq_8.0pl2-2.dsc2005-04-30 23:54 919
[TXT]coq_8.0pl3-2.dsc2006-02-20 01:32 891
[TXT]coq_7.2-9.dsc2002-02-16 08:15 614
Apache/2.4.62 (Debian) Server at debian-archive.inspire.net.nz Port 443