Index of /ubuntu-archive/ubuntu/pool/universe/c/coq

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libcoq-stdlib_8.15.2+dfsg-2_s390x.deb2022-06-12 01:29 23M
[ ]libcoq-stdlib_8.15.2+dfsg-2_riscv64.deb2022-06-12 04:14 23M
[ ]libcoq-stdlib_8.15.2+dfsg-2_ppc64el.deb2022-06-12 01:28 23M
[ ]libcoq-stdlib_8.15.2+dfsg-2_armhf.deb2022-06-12 01:28 23M
[ ]libcoq-stdlib_8.15.2+dfsg-2_arm64.deb2022-06-12 01:28 23M
[ ]libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-06-12 00:34 23M
[ ]libcoq-ocaml_8.12.0-3build3_riscv64.deb2020-11-28 08:28 7.3M
[ ]libcoq-ocaml_8.12.0-3build3_ppc64el.deb2020-11-28 04:13 7.4M
[ ]libcoq-ocaml_8.12.0-3build3_armhf.deb2020-11-28 05:38 7.4M
[ ]libcoq-ocaml_8.12.0-3build3_arm64.deb2020-11-28 05:58 7.7M
[ ]libcoq-ocaml_8.12.0-3build3_amd64.deb2020-11-28 04:13 7.4M
[ ]libcoq-ocaml_8.12.0-3build1_riscv64.deb2020-10-04 09:08 4.4M
[ ]libcoq-ocaml_8.12.0-3build1_ppc64el.deb2020-10-03 21:08 6.6M
[ ]libcoq-ocaml_8.12.0-3build1_armhf.deb2020-10-03 21:53 6.4M
[ ]libcoq-ocaml_8.12.0-3build1_arm64.deb2020-10-03 21:53 6.9M
[ ]libcoq-ocaml_8.12.0-3build1_amd64.deb2020-10-03 20:38 6.4M
[ ]libcoq-ocaml_8.9.1-1_s390x.deb2019-08-20 06:33 5.3M
[ ]libcoq-ocaml_8.9.1-1_ppc64el.deb2019-08-20 06:43 5.3M
[ ]libcoq-ocaml_8.9.1-1_i386.deb2019-08-20 06:43 4.9M
[ ]libcoq-ocaml_8.9.1-1_armhf.deb2019-08-20 07:03 5.1M
[ ]libcoq-ocaml_8.9.1-1_arm64.deb2019-08-20 07:08 5.6M
[ ]libcoq-ocaml_8.9.1-1_amd64.deb2019-08-20 06:33 5.2M
[ ]libcoq-ocaml_8.6-5build1_s390x.deb2017-10-28 10:34 3.5M
[ ]libcoq-ocaml_8.6-5build1_ppc64el.deb2017-10-28 10:34 3.5M
[ ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 10:34 3.2M
[ ]libcoq-ocaml_8.6-5build1_armhf.deb2017-10-28 11:20 3.3M
[ ]libcoq-ocaml_8.6-5build1_arm64.deb2017-10-28 11:20 3.6M
[ ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 10:34 3.4M
[ ]libcoq-ocaml_8.6-4build3_s390x.deb2017-07-27 04:34 3.4M
[ ]libcoq-ocaml_8.6-4build3_ppc64el.deb2017-07-28 04:59 3.5M
[ ]libcoq-ocaml_8.6-4build3_i386.deb2017-07-27 04:34 3.2M
[ ]libcoq-ocaml_8.6-4build3_armhf.deb2017-07-27 05:03 3.4M
[ ]libcoq-ocaml_8.6-4build3_amd64.deb2017-07-27 05:03 3.4M
[ ]libcoq-ocaml_8.6-4_s390x.deb2016-12-30 01:18 2.2M
[ ]libcoq-ocaml_8.6-4_ppc64el.deb2016-12-30 01:53 2.2M
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-30 00:03 3.2M
[ ]libcoq-ocaml_8.6-4_armhf.deb2016-12-30 00:34 3.2M
[ ]libcoq-ocaml_8.6-4_arm64.deb2016-12-30 00:34 3.3M
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 00:03 3.3M
[ ]libcoq-ocaml_8.5-2build1_s390x.deb2018-06-13 04:07 2.2M
[ ]libcoq-ocaml_8.5-2build1_ppc64el.deb2018-06-13 03:03 2.2M
[ ]libcoq-ocaml_8.5-2build1_powerpc.deb2018-06-13 01:58 3.1M
[ ]libcoq-ocaml_8.5-2build1_i386.deb2018-06-13 01:11 3.1M
[ ]libcoq-ocaml_8.5-2build1_armhf.deb2018-06-13 00:22 3.2M
[ ]libcoq-ocaml_8.5-2build1_arm64.deb2018-06-12 23:32 3.1M
[ ]libcoq-ocaml_8.5-2build1_amd64.deb2018-05-15 01:50 3.2M
[ ]libcoq-ocaml_8.4pl4dfsg-1_ppc64el.deb2014-07-27 20:28 322K
[ ]libcoq-ocaml_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:48 1.3M
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 18:53 1.4M
[ ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-07-27 19:58 1.5M
[ ]libcoq-ocaml_8.4pl4dfsg-1_arm64.deb2014-07-27 21:58 322K
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 18:53 1.5M
[ ]libcoq-ocaml_8.4pl2dfsg-1_powerpc.deb2013-05-08 19:04 2.1M
[ ]libcoq-ocaml_8.4pl2dfsg-1_i386.deb2013-05-08 19:03 1.8M
[ ]libcoq-ocaml_8.4pl2dfsg-1_amd64.deb2013-05-08 19:03 2.1M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_powerpc.deb2012-06-09 11:34 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb2012-06-08 13:04 1.7M
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_armel.deb2012-06-08 17:35 479K
[ ]libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2012-06-08 16:03 1.9M
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_powerpc.deb2012-04-03 06:34 2.0M
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-04-03 06:04 1.7M
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_armel.deb2012-04-03 08:03 478K
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-04-03 06:34 1.9M
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_powerpc.deb2011-08-25 01:03 2.0M
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 00:05 1.7M
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_armel.deb2011-08-25 04:03 476K
[ ]libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 00:04 1.9M
[ ]libcoq-ocaml-dev_8.12.0-3build3_riscv64.deb2020-11-28 08:28 21M
[ ]libcoq-ocaml-dev_8.12.0-3build3_ppc64el.deb2020-11-28 04:13 18M
[ ]libcoq-ocaml-dev_8.12.0-3build3_armhf.deb2020-11-28 05:38 18M
[ ]libcoq-ocaml-dev_8.12.0-3build3_arm64.deb2020-11-28 05:58 18M
[ ]libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-11-28 04:13 18M
[ ]libcoq-ocaml-dev_8.12.0-3build1_riscv64.deb2020-10-04 09:08 9.2M
[ ]libcoq-ocaml-dev_8.12.0-3build1_ppc64el.deb2020-10-03 21:08 16M
[ ]libcoq-ocaml-dev_8.12.0-3build1_armhf.deb2020-10-03 21:53 16M
[ ]libcoq-ocaml-dev_8.12.0-3build1_arm64.deb2020-10-03 21:53 16M
[ ]libcoq-ocaml-dev_8.12.0-3build1_amd64.deb2020-10-03 20:38 16M
[ ]libcoq-ocaml-dev_8.9.1-1_s390x.deb2019-08-20 06:33 13M
[ ]libcoq-ocaml-dev_8.9.1-1_ppc64el.deb2019-08-20 06:43 13M
[ ]libcoq-ocaml-dev_8.9.1-1_i386.deb2019-08-20 06:43 13M
[ ]libcoq-ocaml-dev_8.9.1-1_armhf.deb2019-08-20 07:03 14M
[ ]libcoq-ocaml-dev_8.9.1-1_arm64.deb2019-08-20 07:08 13M
[ ]libcoq-ocaml-dev_8.9.1-1_amd64.deb2019-08-20 06:33 13M
[ ]libcoq-ocaml-dev_8.6-5build1_s390x.deb2017-10-28 10:34 13M
[ ]libcoq-ocaml-dev_8.6-5build1_ppc64el.deb2017-10-28 10:34 13M
[ ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 10:34 13M
[ ]libcoq-ocaml-dev_8.6-5build1_armhf.deb2017-10-28 11:20 14M
[ ]libcoq-ocaml-dev_8.6-5build1_arm64.deb2017-10-28 11:20 13M
[ ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 10:34 13M
[ ]libcoq-ocaml-dev_8.6-4build3_s390x.deb2017-07-27 04:34 13M
[ ]libcoq-ocaml-dev_8.6-4build3_ppc64el.deb2017-07-28 04:59 13M
[ ]libcoq-ocaml-dev_8.6-4build3_i386.deb2017-07-27 04:34 13M
[ ]libcoq-ocaml-dev_8.6-4build3_armhf.deb2017-07-27 05:03 14M
[ ]libcoq-ocaml-dev_8.6-4build3_amd64.deb2017-07-27 05:03 13M
[ ]libcoq-ocaml-dev_8.6-4_s390x.deb2016-12-30 01:18 9.5M
[ ]libcoq-ocaml-dev_8.6-4_ppc64el.deb2016-12-30 01:53 9.5M
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-30 00:03 13M
[ ]libcoq-ocaml-dev_8.6-4_armhf.deb2016-12-30 00:34 13M
[ ]libcoq-ocaml-dev_8.6-4_arm64.deb2016-12-30 00:34 13M
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 00:03 13M
[ ]libcoq-ocaml-dev_8.5-2build1_s390x.deb2018-06-13 04:07 9.5M
[ ]libcoq-ocaml-dev_8.5-2build1_ppc64el.deb2018-06-13 03:03 9.5M
[ ]libcoq-ocaml-dev_8.5-2build1_powerpc.deb2018-06-13 01:58 12M
[ ]libcoq-ocaml-dev_8.5-2build1_i386.deb2018-06-13 01:11 13M
[ ]libcoq-ocaml-dev_8.5-2build1_armhf.deb2018-06-13 00:22 13M
[ ]libcoq-ocaml-dev_8.5-2build1_arm64.deb2018-06-12 23:32 13M
[ ]libcoq-ocaml-dev_8.5-2build1_amd64.deb2018-05-15 01:50 13M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_ppc64el.deb2014-07-27 20:28 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:48 3.4M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 18:53 3.5M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-07-27 19:58 3.8M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_arm64.deb2014-07-27 21:58 1.2M
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 18:53 3.5M
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_powerpc.deb2013-05-08 19:04 5.9M
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_i386.deb2013-05-08 19:03 5.3M
[ ]libcoq-ocaml-dev_8.4pl2dfsg-1_amd64.deb2013-05-08 19:03 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_powerpc.deb2012-06-09 11:34 6.4M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb2012-06-08 13:04 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_armel.deb2012-06-08 17:35 7.2M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2012-06-08 16:03 5.6M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_powerpc.deb2012-04-03 06:34 6.3M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-04-03 06:04 5.5M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_armel.deb2012-04-03 08:03 7.2M
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-04-03 06:34 5.6M
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_powerpc.deb2011-08-25 01:03 6.3M
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 00:05 5.4M
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_armel.deb2011-08-25 04:03 7.2M
[ ]libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 00:04 5.6M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_powerpc.deb2010-09-20 01:32 6.7M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 14:05 5.6M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_armel.deb2010-09-19 01:05 1.8M
[ ]libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 14:04 5.7M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_sparc.deb2010-02-28 00:04 6.4M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_powerpc.deb2010-02-27 11:04 6.7M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_ia64.deb2010-02-27 15:04 1.9M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb2010-02-27 11:04 5.6M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb2010-02-27 11:04 5.8M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-3_armel.deb2009-11-05 18:05 1.9M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_sparc.deb2009-07-28 14:15 6.4M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_powerpc.deb2009-07-28 20:05 6.7M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_lpia.deb2009-07-28 14:14 5.6M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_ia64.deb2009-08-24 16:06 1.9M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_i386.deb2009-07-28 14:13 5.6M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_armel.deb2009-07-29 00:12 1.9M
[ ]libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb2009-07-28 14:13 5.7M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_s390x.deb2022-06-12 01:29 26M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_riscv64.deb2022-06-12 04:14 25M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_ppc64el.deb2022-06-12 01:28 26M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb2022-06-12 01:28 25M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb2022-06-12 01:28 27M
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-06-12 00:34 26M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_s390x.deb2022-06-12 01:29 47M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_riscv64.deb2022-06-12 04:14 53M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_ppc64el.deb2022-06-12 01:28 48M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb2022-06-12 01:28 47M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb2022-06-12 01:28 47M
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-06-12 00:34 47M
[ ]coqide_8.15.2+dfsg-2_s390x.deb2022-06-12 01:29 2.2M
[ ]coqide_8.15.2+dfsg-2_riscv64.deb2022-06-12 04:14 2.1M
[ ]coqide_8.15.2+dfsg-2_ppc64el.deb2022-06-12 01:28 2.4M
[ ]coqide_8.15.2+dfsg-2_armhf.deb2022-06-12 01:28 2.1M
[ ]coqide_8.15.2+dfsg-2_arm64.deb2022-06-12 01:28 2.7M
[ ]coqide_8.15.2+dfsg-2_amd64.deb2022-06-12 00:34 2.2M
[ ]coqide_8.12.0-3build3_riscv64.deb2020-11-28 08:28 1.7M
[ ]coqide_8.12.0-3build3_ppc64el.deb2020-11-28 04:13 1.9M
[ ]coqide_8.12.0-3build3_armhf.deb2020-11-28 05:38 1.7M
[ ]coqide_8.12.0-3build3_arm64.deb2020-11-28 05:58 2.1M
[ ]coqide_8.12.0-3build3_amd64.deb2020-11-28 04:13 1.8M
[ ]coqide_8.12.0-3build1_riscv64.deb2020-10-04 09:08 34K
[ ]coqide_8.12.0-3build1_ppc64el.deb2020-10-03 21:08 1.8M
[ ]coqide_8.12.0-3build1_armhf.deb2020-10-03 21:53 1.6M
[ ]coqide_8.12.0-3build1_arm64.deb2020-10-03 21:53 2.0M
[ ]coqide_8.12.0-3build1_amd64.deb2020-10-03 20:38 1.7M
[ ]coqide_8.6-5build1_s390x.deb2017-10-28 10:34 1.7M
[ ]coqide_8.6-5build1_ppc64el.deb2017-10-28 10:34 1.7M
[ ]coqide_8.6-5build1_i386.deb2017-10-28 10:34 1.3M
[ ]coqide_8.6-5build1_armhf.deb2017-10-28 11:20 1.4M
[ ]coqide_8.6-5build1_arm64.deb2017-10-28 11:20 1.6M
[ ]coqide_8.6-5build1_amd64.deb2017-10-28 10:34 1.5M
[ ]coqide_8.6-4build3_s390x.deb2017-07-27 04:34 1.6M
[ ]coqide_8.6-4build3_ppc64el.deb2017-07-28 04:59 1.5M
[ ]coqide_8.6-4build3_i386.deb2017-07-27 04:34 1.3M
[ ]coqide_8.6-4build3_armhf.deb2017-07-27 05:03 1.6M
[ ]coqide_8.6-4build3_amd64.deb2017-07-27 05:03 1.4M
[ ]coqide_8.6-4_s390x.deb2016-12-30 01:18 1.7M
[ ]coqide_8.6-4_ppc64el.deb2016-12-30 01:53 1.7M
[ ]coqide_8.6-4_i386.deb2016-12-30 00:03 1.1M
[ ]coqide_8.6-4_armhf.deb2016-12-30 00:34 1.2M
[ ]coqide_8.6-4_arm64.deb2016-12-30 00:34 1.2M
[ ]coqide_8.6-4_amd64.deb2016-12-30 00:03 1.3M
[ ]coqide_8.5-2build1_s390x.deb2018-06-13 03:49 1.7M
[ ]coqide_8.5-2build1_ppc64el.deb2018-06-13 02:51 1.7M
[ ]coqide_8.5-2build1_powerpc.deb2018-06-13 01:44 949K
[ ]coqide_8.5-2build1_i386.deb2018-06-13 00:59 1.0M
[ ]coqide_8.5-2build1_armhf.deb2018-06-13 00:12 1.1M
[ ]coqide_8.5-2build1_arm64.deb2018-06-12 23:21 1.1M
[ ]coqide_8.5-2build1_amd64.deb2018-05-15 01:19 1.2M
[ ]coqide_8.4pl4dfsg-1_ppc64el.deb2014-07-27 20:28 198K
[ ]coqide_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:48 627K
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 18:53 662K
[ ]coqide_8.4pl4dfsg-1_armhf.deb2014-07-27 19:58 753K
[ ]coqide_8.4pl4dfsg-1_arm64.deb2014-07-27 21:58 198K
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 18:53 726K
[ ]coqide_8.4pl2dfsg-1_powerpc.deb2013-05-08 19:04 874K
[ ]coqide_8.4pl2dfsg-1_i386.deb2013-05-08 19:03 766K
[ ]coqide_8.4pl2dfsg-1_amd64.deb2013-05-08 19:03 1.0M
[ ]coqide_8.3.pl4+dfsg-2_powerpc.deb2012-06-09 11:34 5.3M
[ ]coqide_8.3.pl4+dfsg-2_i386.deb2012-06-08 13:04 4.9M
[ ]coqide_8.3.pl4+dfsg-2_armel.deb2012-06-08 17:35 5.8M
[ ]coqide_8.3.pl4+dfsg-2_amd64.deb2012-06-08 16:03 5.2M
[ ]coqide_8.3.pl4+dfsg-1_powerpc.deb2012-04-03 06:34 5.3M
[ ]coqide_8.3.pl4+dfsg-1_i386.deb2012-04-03 06:04 4.9M
[ ]coqide_8.3.pl4+dfsg-1_armel.deb2012-04-03 08:03 5.8M
[ ]coqide_8.3.pl4+dfsg-1_amd64.deb2012-04-03 06:34 5.2M
[ ]coqide_8.3.pl2+dfsg-1build1_powerpc.deb2011-08-25 01:03 5.3M
[ ]coqide_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 00:05 4.9M
[ ]coqide_8.3.pl2+dfsg-1build1_armel.deb2011-08-25 04:03 5.8M
[ ]coqide_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 00:04 5.2M
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_powerpc.deb2010-09-20 01:32 6.2M
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 14:05 5.6M
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_armel.deb2010-09-19 01:05 2.3M
[ ]coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 14:04 6.1M
[ ]coqide_8.2.pl1+dfsg-6_sparc.deb2010-02-28 00:04 6.3M
[ ]coqide_8.2.pl1+dfsg-6_powerpc.deb2010-02-27 11:04 6.3M
[ ]coqide_8.2.pl1+dfsg-6_ia64.deb2010-02-27 15:04 2.3M
[ ]coqide_8.2.pl1+dfsg-6_i386.deb2010-02-27 11:04 5.7M
[ ]coqide_8.2.pl1+dfsg-6_amd64.deb2010-02-27 11:04 6.2M
[ ]coqide_8.2.pl1+dfsg-3_armel.deb2009-11-05 18:05 2.3M
[ ]coqide_8.2.pl1+dfsg-2_sparc.deb2009-07-28 14:15 6.3M
[ ]coqide_8.2.pl1+dfsg-2_powerpc.deb2009-07-28 20:05 6.3M
[ ]coqide_8.2.pl1+dfsg-2_lpia.deb2009-07-28 14:14 5.7M
[ ]coqide_8.2.pl1+dfsg-2_ia64.deb2009-08-24 16:06 2.3M
[ ]coqide_8.2.pl1+dfsg-2_i386.deb2009-07-28 14:13 5.7M
[ ]coqide_8.2.pl1+dfsg-2_armel.deb2009-07-29 00:12 2.3M
[ ]coqide_8.2.pl1+dfsg-2_amd64.deb2009-07-28 14:13 6.2M
[ ]coqide_8.1.pl3+dfsg-1build1_sparc.deb2008-05-27 10:07 5.3M
[ ]coqide_8.1.pl3+dfsg-1build1_powerpc.deb2008-05-27 09:04 5.2M
[ ]coqide_8.1.pl3+dfsg-1build1_lpia.deb2008-06-02 16:04 2.3M
[ ]coqide_8.1.pl3+dfsg-1build1_ia64.deb2008-05-27 12:06 2.4M
[ ]coqide_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 09:04 4.7M
[ ]coqide_8.1.pl3+dfsg-1build1_hppa.deb2008-05-31 18:04 2.3M
[ ]coqide_8.1.pl3+dfsg-1build1_armel.deb2008-12-09 21:04 2.3M
[ ]coqide_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 09:04 5.0M
[ ]coqide_8.1.pl3+dfsg-1_sparc.deb2008-01-07 20:04 5.2M
[ ]coqide_8.1.pl3+dfsg-1_powerpc.deb2008-01-07 18:07 5.2M
[ ]coqide_8.1.pl3+dfsg-1_lpia.deb2008-01-07 18:07 2.3M
[ ]coqide_8.1.pl3+dfsg-1_ia64.deb2008-01-07 20:04 7.6M
[ ]coqide_8.1.pl3+dfsg-1_i386.deb2008-01-07 18:07 4.7M
[ ]coqide_8.1.pl3+dfsg-1_hppa.deb2008-01-08 15:12 2.3M
[ ]coqide_8.1.pl3+dfsg-1_amd64.deb2008-01-07 18:06 5.0M
[ ]coqide_8.1+dfsg-6_sparc.deb2007-07-11 12:03 5.0M
[ ]coqide_8.1+dfsg-6_powerpc.deb2007-07-11 11:03 5.0M
[ ]coqide_8.1+dfsg-6_lpia.deb2007-08-30 23:03 4.4M
[ ]coqide_8.1+dfsg-6_ia64.deb2007-07-11 13:03 2.2M
[ ]coqide_8.1+dfsg-6_i386.deb2007-07-11 10:03 4.4M
[ ]coqide_8.1+dfsg-6_amd64.deb2007-07-11 11:03 4.7M
[ ]coqide_8.0pl3-2ubuntu1_sparc.deb2007-03-23 09:03 3.8M
[ ]coqide_8.0pl3-2ubuntu1_powerpc.deb2007-03-23 09:03 3.8M
[ ]coqide_8.0pl3-2ubuntu1_ia64.deb2007-03-23 09:03 1.3M
[ ]coqide_8.0pl3-2ubuntu1_i386.deb2007-03-23 09:03 3.3M
[ ]coqide_8.0pl3-2ubuntu1_amd64.deb2007-03-23 09:03 3.5M
[ ]coqide_8.0pl3-2_sparc.deb2006-07-12 22:10 3.8M
[ ]coqide_8.0pl3-2_powerpc.deb2006-07-13 12:10 3.7M
[ ]coqide_8.0pl3-2_ia64.deb2006-07-08 08:09 1.3M
[ ]coqide_8.0pl3-2_i386.deb2006-07-13 11:10 3.3M
[ ]coqide_8.0pl3-2_amd64.deb2006-07-13 11:10 3.5M
[ ]coqide_8.0pl2-4_sparc.deb2005-12-24 03:00 4.5M
[ ]coqide_8.0pl2-4_powerpc.deb2005-12-20 22:15 4.4M
[ ]coqide_8.0pl2-4_ia64.deb2005-12-18 13:30 2.0M
[ ]coqide_8.0pl2-4_i386.deb2005-12-18 13:10 4.0M
[ ]coqide_8.0pl2-4_hppa.deb2005-12-09 17:25 4.6M
[ ]coqide_8.0pl2-4_amd64.deb2005-12-18 12:15 4.2M
[ ]coqide_8.0pl2-2_sparc.deb2005-08-25 10:10 4.4M
[ ]coqide_8.0pl2-2_powerpc.deb2005-08-13 02:25 4.3M
[ ]coqide_8.0pl2-2_ia64.deb2005-08-15 03:45 1.9M
[ ]coqide_8.0pl2-2_i386.deb2005-04-14 05:10 3.9M
[ ]coqide_8.0pl2-2_amd64.deb2005-08-15 04:15 4.1M
[ ]coqide_8.0pl1-5_sparc.deb2005-04-02 00:10 4.4M
[ ]coqide_8.0pl1-5_powerpc.deb2004-12-13 22:00 4.3M
[ ]coqide_8.0pl1-5_ia64.deb2004-12-13 22:40 1.9M
[ ]coqide_8.0pl1-5_i386.deb2004-12-14 11:20 3.8M
[ ]coqide_8.0pl1-5_amd64.deb2004-12-13 21:55 4.1M
[ ]coq_8.15.2+dfsg.orig.tar.xz2022-06-01 00:23 4.5M
[ ]coq_8.15.2+dfsg-2_s390x.deb2022-06-12 01:29 92M
[ ]coq_8.15.2+dfsg-2_riscv64.deb2022-06-12 04:14 90M
[ ]coq_8.15.2+dfsg-2_ppc64el.deb2022-06-12 01:28 93M
[ ]coq_8.15.2+dfsg-2_armhf.deb2022-06-12 01:28 89M
[ ]coq_8.15.2+dfsg-2_arm64.deb2022-06-12 01:28 101M
[ ]coq_8.15.2+dfsg-2_amd64.deb2022-06-12 00:34 90M
[TXT]coq_8.15.2+dfsg-2.dsc2022-06-12 00:34 2.5K
[ ]coq_8.15.2+dfsg-2.debian.tar.xz2022-06-12 00:34 39K
[ ]coq_8.12.0.orig.tar.gz2020-09-15 03:23 5.7M
[ ]coq_8.12.0-3build3_riscv64.deb2020-11-28 08:28 84M
[ ]coq_8.12.0-3build3_ppc64el.deb2020-11-28 04:13 87M
[ ]coq_8.12.0-3build3_armhf.deb2020-11-28 05:38 84M
[ ]coq_8.12.0-3build3_arm64.deb2020-11-28 05:58 92M
[ ]coq_8.12.0-3build3_amd64.deb2020-11-28 04:13 86M
[TXT]coq_8.12.0-3build3.dsc2020-11-28 03:28 2.4K
[ ]coq_8.12.0-3build3.debian.tar.xz2020-11-28 03:28 37K
[ ]coq_8.12.0-3build1_riscv64.deb2020-10-04 09:08 86M
[ ]coq_8.12.0-3build1_ppc64el.deb2020-10-03 21:08 77M
[ ]coq_8.12.0-3build1_armhf.deb2020-10-03 21:53 72M
[ ]coq_8.12.0-3build1_arm64.deb2020-10-03 21:53 82M
[ ]coq_8.12.0-3build1_amd64.deb2020-10-03 20:38 75M
[TXT]coq_8.12.0-3build1.dsc2020-10-03 19:48 2.4K
[ ]coq_8.12.0-3build1.debian.tar.xz2020-10-03 19:48 37K
[ ]coq_8.9.1.orig.tar.gz2019-08-20 06:13 5.1M
[ ]coq_8.9.1-1_s390x.deb2019-08-20 06:33 57M
[ ]coq_8.9.1-1_ppc64el.deb2019-08-20 06:43 58M
[ ]coq_8.9.1-1_i386.deb2019-08-20 06:43 54M
[ ]coq_8.9.1-1_armhf.deb2019-08-20 07:03 55M
[ ]coq_8.9.1-1_arm64.deb2019-08-20 07:08 60M
[ ]coq_8.9.1-1_amd64.deb2019-08-20 06:33 56M
[TXT]coq_8.9.1-1.dsc2019-08-20 06:13 2.1K
[ ]coq_8.9.1-1.debian.tar.xz2019-08-20 06:13 29K
[ ]coq_8.6.orig.tar.gz2016-12-28 11:13 4.8M
[ ]coq_8.6-5build1_s390x.deb2017-10-28 10:35 17M
[ ]coq_8.6-5build1_ppc64el.deb2017-10-28 10:34 17M
[ ]coq_8.6-5build1_i386.deb2017-10-28 10:34 16M
[ ]coq_8.6-5build1_armhf.deb2017-10-28 11:20 16M
[ ]coq_8.6-5build1_arm64.deb2017-10-28 11:20 18M
[ ]coq_8.6-5build1_amd64.deb2017-10-28 10:34 17M
[TXT]coq_8.6-5build1.dsc2017-10-28 09:39 2.3K
[ ]coq_8.6-5build1.debian.tar.xz2017-10-28 09:39 21K
[ ]coq_8.6-4build3_s390x.deb2017-07-27 04:34 17M
[ ]coq_8.6-4build3_ppc64el.deb2017-07-28 04:59 17M
[ ]coq_8.6-4build3_i386.deb2017-07-27 04:34 16M
[ ]coq_8.6-4build3_armhf.deb2017-07-27 05:03 17M
[ ]coq_8.6-4build3_amd64.deb2017-07-27 05:03 17M
[TXT]coq_8.6-4build3.dsc2017-07-27 03:53 2.1K
[ ]coq_8.6-4build3.debian.tar.xz2017-07-27 03:53 22K
[ ]coq_8.6-4_s390x.deb2016-12-30 01:18 18M
[ ]coq_8.6-4_ppc64el.deb2016-12-30 01:53 18M
[ ]coq_8.6-4_i386.deb2016-12-30 00:03 12M
[ ]coq_8.6-4_armhf.deb2016-12-30 00:34 12M
[ ]coq_8.6-4_arm64.deb2016-12-30 00:34 12M
[ ]coq_8.6-4_amd64.deb2016-12-30 00:03 13M
[TXT]coq_8.6-4.dsc2016-12-29 23:19 2.3K
[ ]coq_8.6-4.debian.tar.xz2016-12-29 23:19 21K
[ ]coq_8.5.orig.tar.gz2018-06-12 21:56 4.6M
[ ]coq_8.5-2build1_s390x.deb2018-06-13 03:49 18M
[ ]coq_8.5-2build1_ppc64el.deb2018-06-13 02:51 18M
[ ]coq_8.5-2build1_powerpc.deb2018-06-13 01:44 12M
[ ]coq_8.5-2build1_i386.deb2018-06-13 00:59 12M
[ ]coq_8.5-2build1_armhf.deb2018-06-13 00:12 12M
[ ]coq_8.5-2build1_arm64.deb2018-06-12 23:21 12M
[ ]coq_8.5-2build1_amd64.deb2018-05-15 01:19 13M
[TXT]coq_8.5-2build1.dsc2018-06-12 21:56 2.4K
[ ]coq_8.5-2build1.debian.tar.xz2018-06-12 21:56 16K
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 18:13 3.4M
[ ]coq_8.4pl4dfsg-1_ppc64el.deb2014-07-27 20:28 1.1M
[ ]coq_8.4pl4dfsg-1_powerpc.deb2014-07-27 19:48 3.4M
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 18:53 3.6M
[ ]coq_8.4pl4dfsg-1_armhf.deb2014-07-27 19:58 3.7M
[ ]coq_8.4pl4dfsg-1_arm64.deb2014-07-27 21:58 1.1M
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 18:53 3.9M
[TXT]coq_8.4pl4dfsg-1.dsc2014-07-27 18:13 2.3K
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 18:13 15K
[ ]coq_8.4pl2dfsg.orig.tar.gz2013-05-08 18:33 3.4M
[ ]coq_8.4pl2dfsg-1_powerpc.deb2013-05-08 19:04 5.5M
[ ]coq_8.4pl2dfsg-1_i386.deb2013-05-08 19:03 5.0M
[ ]coq_8.4pl2dfsg-1_amd64.deb2013-05-08 19:03 5.7M
[TXT]coq_8.4pl2dfsg-1.dsc2013-05-08 18:33 2.3K
[ ]coq_8.4pl2dfsg-1.debian.tar.gz2013-05-08 18:33 17K
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-04-03 05:33 3.0M
[ ]coq_8.3.pl4+dfsg-2_powerpc.deb2012-06-09 11:34 5.2M
[ ]coq_8.3.pl4+dfsg-2_i386.deb2012-06-08 13:04 4.7M
[ ]coq_8.3.pl4+dfsg-2_armel.deb2012-06-08 17:35 5.8M
[ ]coq_8.3.pl4+dfsg-2_amd64.deb2012-06-08 16:03 5.3M
[TXT]coq_8.3.pl4+dfsg-2.dsc2012-06-08 09:36 2.3K
[ ]coq_8.3.pl4+dfsg-2.debian.tar.gz2012-06-08 09:36 16K
[ ]coq_8.3.pl4+dfsg-1_powerpc.deb2012-04-03 06:34 5.2M
[ ]coq_8.3.pl4+dfsg-1_i386.deb2012-04-03 06:04 4.7M
[ ]coq_8.3.pl4+dfsg-1_armel.deb2012-04-03 08:03 5.7M
[ ]coq_8.3.pl4+dfsg-1_amd64.deb2012-04-03 06:34 5.3M
[TXT]coq_8.3.pl4+dfsg-1.dsc2012-04-03 05:33 2.3K
[ ]coq_8.3.pl4+dfsg-1.debian.tar.gz2012-04-03 05:33 16K
[ ]coq_8.3.pl2+dfsg.orig.tar.gz2011-05-19 10:05 3.0M
[ ]coq_8.3.pl2+dfsg-1build1_powerpc.deb2011-08-25 01:03 5.2M
[ ]coq_8.3.pl2+dfsg-1build1_i386.deb2011-08-25 00:05 4.7M
[ ]coq_8.3.pl2+dfsg-1build1_armel.deb2011-08-25 04:03 5.7M
[ ]coq_8.3.pl2+dfsg-1build1_amd64.deb2011-08-25 00:04 5.3M
[TXT]coq_8.3.pl2+dfsg-1build1.dsc2011-08-25 00:04 1.5K
[ ]coq_8.3.pl2+dfsg-1build1.debian.tar.gz2011-08-25 00:04 16K
[ ]coq_8.2.pl2+dfsg.orig.tar.gz2010-07-27 14:05 3.0M
[ ]coq_8.2.pl2+dfsg-1ubuntu1_powerpc.deb2010-09-20 01:32 14M
[ ]coq_8.2.pl2+dfsg-1ubuntu1_i386.deb2010-09-18 14:05 13M
[ ]coq_8.2.pl2+dfsg-1ubuntu1_armel.deb2010-09-19 01:05 3.5M
[ ]coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb2010-09-18 14:04 14M
[TXT]coq_8.2.pl2+dfsg-1ubuntu1.dsc2010-09-18 13:05 1.5K
[ ]coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz2010-09-18 13:05 17K
[ ]coq_8.2.pl1+dfsg.orig.tar.gz2009-07-28 14:13 3.0M
[ ]coq_8.2.pl1+dfsg-6_sparc.deb2010-02-28 00:04 15M
[ ]coq_8.2.pl1+dfsg-6_powerpc.deb2010-02-27 11:04 15M
[ ]coq_8.2.pl1+dfsg-6_ia64.deb2010-02-27 15:04 3.5M
[ ]coq_8.2.pl1+dfsg-6_i386.deb2010-02-27 11:04 13M
[ ]coq_8.2.pl1+dfsg-6_amd64.deb2010-02-27 11:04 15M
[TXT]coq_8.2.pl1+dfsg-6.dsc2010-02-27 10:04 2.2K
[ ]coq_8.2.pl1+dfsg-6.diff.gz2010-02-27 10:04 15K
[ ]coq_8.2.pl1+dfsg-3_armel.deb2009-11-05 18:05 3.5M
[ ]coq_8.2.pl1+dfsg-2_sparc.deb2009-07-28 14:15 15M
[ ]coq_8.2.pl1+dfsg-2_powerpc.deb2009-07-28 20:05 15M
[ ]coq_8.2.pl1+dfsg-2_lpia.deb2009-07-28 14:14 13M
[ ]coq_8.2.pl1+dfsg-2_ia64.deb2009-08-24 16:06 3.5M
[ ]coq_8.2.pl1+dfsg-2_i386.deb2009-07-28 14:13 13M
[ ]coq_8.2.pl1+dfsg-2_armel.deb2009-07-29 00:12 3.5M
[ ]coq_8.2.pl1+dfsg-2_amd64.deb2009-07-28 14:13 15M
[TXT]coq_8.2.pl1+dfsg-2.dsc2009-07-28 14:13 1.6K
[ ]coq_8.2.pl1+dfsg-2.diff.gz2009-07-28 14:13 14K
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-01-07 15:03 2.4M
[ ]coq_8.1.pl3+dfsg-1build1_sparc.deb2008-05-27 10:07 9.0M
[ ]coq_8.1.pl3+dfsg-1build1_powerpc.deb2008-05-27 09:04 9.0M
[ ]coq_8.1.pl3+dfsg-1build1_lpia.deb2008-06-02 16:04 4.0M
[ ]coq_8.1.pl3+dfsg-1build1_ia64.deb2008-05-27 12:06 4.3M
[ ]coq_8.1.pl3+dfsg-1build1_i386.deb2008-05-27 09:04 8.1M
[ ]coq_8.1.pl3+dfsg-1build1_hppa.deb2008-05-31 18:04 4.1M
[ ]coq_8.1.pl3+dfsg-1build1_armel.deb2008-12-09 21:04 4.0M
[ ]coq_8.1.pl3+dfsg-1build1_amd64.deb2008-05-27 09:04 8.6M
[TXT]coq_8.1.pl3+dfsg-1build1.dsc2008-05-27 09:04 925
[ ]coq_8.1.pl3+dfsg-1build1.diff.gz2008-05-27 09:04 15K
[ ]coq_8.1.pl3+dfsg-1_sparc.deb2008-01-07 20:04 9.0M
[ ]coq_8.1.pl3+dfsg-1_powerpc.deb2008-01-07 18:07 9.0M
[ ]coq_8.1.pl3+dfsg-1_lpia.deb2008-01-07 18:07 4.0M
[ ]coq_8.1.pl3+dfsg-1_ia64.deb2008-01-07 20:04 13M
[ ]coq_8.1.pl3+dfsg-1_i386.deb2008-01-07 18:07 8.1M
[ ]coq_8.1.pl3+dfsg-1_hppa.deb2008-01-08 15:12 4.1M
[ ]coq_8.1.pl3+dfsg-1_amd64.deb2008-01-07 18:06 8.6M
[TXT]coq_8.1.pl3+dfsg-1.dsc2008-01-07 15:03 1.0K
[ ]coq_8.1.pl3+dfsg-1.diff.gz2008-01-07 15:03 15K
[ ]coq_8.1+dfsg.orig.tar.gz2007-05-03 06:05 2.4M
[ ]coq_8.1+dfsg-6_sparc.deb2007-07-11 12:03 8.1M
[ ]coq_8.1+dfsg-6_powerpc.deb2007-07-11 11:03 8.0M
[ ]coq_8.1+dfsg-6_lpia.deb2007-08-30 23:03 7.1M
[ ]coq_8.1+dfsg-6_ia64.deb2007-07-11 13:03 3.3M
[ ]coq_8.1+dfsg-6_i386.deb2007-07-11 10:03 7.1M
[ ]coq_8.1+dfsg-6_amd64.deb2007-07-11 11:03 7.5M
[TXT]coq_8.1+dfsg-6.dsc2007-07-11 08:03 1.1K
[ ]coq_8.1+dfsg-6.diff.gz2007-07-11 08:03 14K
[ ]coq_8.0pl3.orig.tar.gz2006-06-15 12:59 2.2M
[ ]coq_8.0pl3-2ubuntu1_sparc.deb2007-03-23 09:03 6.8M
[ ]coq_8.0pl3-2ubuntu1_powerpc.deb2007-03-23 09:03 6.7M
[ ]coq_8.0pl3-2ubuntu1_ia64.deb2007-03-23 09:03 3.0M
[ ]coq_8.0pl3-2ubuntu1_i386.deb2007-03-23 09:03 5.9M
[ ]coq_8.0pl3-2ubuntu1_amd64.deb2007-03-23 09:03 6.3M
[TXT]coq_8.0pl3-2ubuntu1.dsc2007-03-23 07:03 1.1K
[ ]coq_8.0pl3-2ubuntu1.diff.gz2007-03-23 07:03 16K
[ ]coq_8.0pl3-2_sparc.deb2006-07-12 22:10 6.7M
[ ]coq_8.0pl3-2_powerpc.deb2006-07-13 12:10 6.6M
[ ]coq_8.0pl3-2_ia64.deb2006-07-08 08:09 3.0M
[ ]coq_8.0pl3-2_i386.deb2006-07-13 11:10 5.8M
[ ]coq_8.0pl3-2_amd64.deb2006-07-13 11:10 6.2M
[TXT]coq_8.0pl3-2.dsc2006-06-15 12:59 891
[ ]coq_8.0pl3-2.diff.gz2006-06-15 12:59 16K
[ ]coq_8.0pl2.orig.tar.gz2005-04-13 09:09 2.2M
[ ]coq_8.0pl2-4_sparc.deb2005-12-24 03:00 6.7M
[ ]coq_8.0pl2-4_powerpc.deb2005-12-20 22:15 6.6M
[ ]coq_8.0pl2-4_ia64.deb2005-12-18 13:30 3.0M
[ ]coq_8.0pl2-4_i386.deb2005-12-18 13:10 5.8M
[ ]coq_8.0pl2-4_hppa.deb2005-12-09 17:25 7.0M
[ ]coq_8.0pl2-4_amd64.deb2005-12-18 12:15 6.2M
[TXT]coq_8.0pl2-4.dsc2005-11-23 09:20 882
[ ]coq_8.0pl2-4.diff.gz2005-11-23 09:20 12K
[ ]coq_8.0pl2-2_sparc.deb2005-08-25 10:10 6.6M
[ ]coq_8.0pl2-2_powerpc.deb2005-08-13 02:25 6.6M
[ ]coq_8.0pl2-2_ia64.deb2005-08-15 03:45 2.9M
[ ]coq_8.0pl2-2_i386.deb2005-04-14 05:10 5.8M
[ ]coq_8.0pl2-2_amd64.deb2005-08-15 04:15 6.2M
[TXT]coq_8.0pl2-2.dsc2005-04-13 09:09 919
[ ]coq_8.0pl2-2.diff.gz2005-04-13 09:09 11K
[ ]coq_8.0pl1.orig.tar.gz2004-10-25 15:02 2.2M
[ ]coq_8.0pl1-5_sparc.deb2005-04-02 00:10 6.6M
[ ]coq_8.0pl1-5_powerpc.deb2004-12-13 22:00 6.6M
[ ]coq_8.0pl1-5_ia64.deb2004-12-13 22:40 3.0M
[ ]coq_8.0pl1-5_i386.deb2004-12-14 11:20 5.7M
[ ]coq_8.0pl1-5_amd64.deb2004-12-13 21:55 6.2M
[TXT]coq_8.0pl1-5.dsc2004-12-13 21:18 941
[ ]coq_8.0pl1-5.diff.gz2004-12-13 21:18 11K
[ ]coq_7.3.1.orig.tar.gz2004-07-26 18:43 1.2M
[ ]coq_7.3.1-3_powerpc.deb2004-07-27 16:00 7.6M
[ ]coq_7.3.1-3_i386.deb2004-08-13 06:15 7.2M
[ ]coq_7.3.1-3_amd64.deb2004-08-18 04:15 7.5M
[TXT]coq_7.3.1-3.dsc2004-07-26 18:43 799
[ ]coq_7.3.1-3.diff.gz2004-07-26 18:43 8.3K
[ ]coq7-libs_8.0pl3-2ubuntu1_all.deb2007-03-23 09:03 3.6M
[ ]coq7-libs_8.0pl3-2_all.deb2006-07-13 11:10 3.6M
[ ]coq7-libs_8.0pl2-4_all.deb2005-12-18 13:10 3.6M
[ ]coq7-libs_8.0pl2-2_all.deb2005-04-14 05:10 3.6M
[ ]coq7-libs_8.0pl1-5_sparc.deb2005-04-02 00:10 3.6M
[ ]coq7-libs_8.0pl1-5_powerpc.deb2004-12-13 22:00 3.6M
[ ]coq7-libs_8.0pl1-5_ia64.deb2004-12-13 22:40 3.6M
[ ]coq7-libs_8.0pl1-5_i386.deb2004-12-14 11:20 3.6M
[ ]coq7-libs_8.0pl1-5_amd64.deb2004-12-13 21:55 3.6M
[ ]coq-theories_8.12.0-3build3_riscv64.deb2020-11-28 08:28 23M
[ ]coq-theories_8.12.0-3build3_ppc64el.deb2020-11-28 04:13 23M
[ ]coq-theories_8.12.0-3build3_armhf.deb2020-11-28 05:38 23M
[ ]coq-theories_8.12.0-3build3_arm64.deb2020-11-28 05:58 23M
[ ]coq-theories_8.12.0-3build3_amd64.deb2020-11-28 04:13 35M
[ ]coq-theories_8.12.0-3build1_riscv64.deb2020-10-04 09:08 23M
[ ]coq-theories_8.12.0-3build1_ppc64el.deb2020-10-03 21:08 23M
[ ]coq-theories_8.12.0-3build1_armhf.deb2020-10-03 21:53 23M
[ ]coq-theories_8.12.0-3build1_arm64.deb2020-10-03 21:53 23M
[ ]coq-theories_8.12.0-3build1_amd64.deb2020-10-03 20:38 35M
[ ]coq-theories_8.9.1-1_s390x.deb2019-08-20 06:33 19M
[ ]coq-theories_8.9.1-1_ppc64el.deb2019-08-20 06:43 19M
[ ]coq-theories_8.9.1-1_i386.deb2019-08-20 06:43 27M
[ ]coq-theories_8.9.1-1_armhf.deb2019-08-20 07:03 19M
[ ]coq-theories_8.9.1-1_arm64.deb2019-08-20 07:08 19M
[ ]coq-theories_8.9.1-1_amd64.deb2019-08-20 06:33 28M
[ ]coq-theories_8.6-5build1_s390x.deb2017-10-28 10:34 22M
[ ]coq-theories_8.6-5build1_ppc64el.deb2017-10-28 10:34 22M
[ ]coq-theories_8.6-5build1_i386.deb2017-10-28 10:34 31M
[ ]coq-theories_8.6-5build1_armhf.deb2017-10-28 11:20 22M
[ ]coq-theories_8.6-5build1_arm64.deb2017-10-28 11:20 22M
[ ]coq-theories_8.6-5build1_amd64.deb2017-10-28 10:34 32M
[ ]coq-theories_8.6-4build3_s390x.deb2017-07-27 04:34 22M
[ ]coq-theories_8.6-4build3_ppc64el.deb2017-07-28 04:59 22M
[ ]coq-theories_8.6-4build3_i386.deb2017-07-27 04:34 30M
[ ]coq-theories_8.6-4build3_armhf.deb2017-07-27 05:03 22M
[ ]coq-theories_8.6-4build3_amd64.deb2017-07-27 05:03 32M
[ ]coq-theories_8.6-4_s390x.deb2016-12-30 01:18 21M
[ ]coq-theories_8.6-4_ppc64el.deb2016-12-30 01:53 21M
[ ]coq-theories_8.6-4_i386.deb2016-12-30 00:03 29M
[ ]coq-theories_8.6-4_armhf.deb2016-12-30 00:34 21M
[ ]coq-theories_8.6-4_arm64.deb2016-12-30 00:34 21M
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 00:03 30M
[ ]coq-theories_8.5-2build1_s390x.deb2018-06-13 03:49 23M
[ ]coq-theories_8.5-2build1_ppc64el.deb2018-06-13 02:51 23M
[ ]coq-theories_8.5-2build1_powerpc.deb2018-06-13 01:44 23M
[ ]coq-theories_8.5-2build1_i386.deb2018-06-13 00:59 30M
[ ]coq-theories_8.5-2build1_armhf.deb2018-06-13 00:12 23M
[ ]coq-theories_8.5-2build1_arm64.deb2018-06-12 23:21 23M
[ ]coq-theories_8.5-2build1_amd64.deb2018-05-15 01:19 31M
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 18:53 31M
[ ]coq-theories_8.4pl2dfsg-1_all.deb2013-05-08 19:03 56M
[ ]coq-theories_8.3.pl4+dfsg-2_all.deb2012-06-08 13:04 52M
[ ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 06:04 52M
[ ]coq-theories_8.3.pl2+dfsg-1build1_all.deb2011-08-25 00:04 50M
[ ]coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb2010-09-18 14:04 18M
[ ]coq-theories_8.2.pl1+dfsg-6_all.deb2010-02-27 11:04 17M
[ ]coq-theories_8.2.pl1+dfsg-2_all.deb2009-07-28 14:13 17M
[ ]coq-libs_8.1.pl3+dfsg-1build1_all.deb2008-05-27 09:04 12M
[ ]coq-libs_8.1.pl3+dfsg-1_all.deb2008-01-07 18:07 12M
[ ]coq-libs_8.1+dfsg-6_all.deb2007-07-11 10:03 14M
[ ]coq-libs_8.0pl3-2ubuntu1_all.deb2007-03-23 09:03 3.6M
[ ]coq-libs_8.0pl3-2_all.deb2006-07-13 11:10 3.6M
[ ]coq-libs_8.0pl2-4_all.deb2005-12-18 13:10 3.6M
[ ]coq-libs_8.0pl2-2_all.deb2005-04-14 05:10 3.6M
[ ]coq-libs_8.0pl1-5_sparc.deb2005-04-02 00:10 3.6M
[ ]coq-libs_8.0pl1-5_powerpc.deb2004-12-13 22:00 3.6M
[ ]coq-libs_8.0pl1-5_ia64.deb2004-12-13 22:40 3.6M
[ ]coq-libs_8.0pl1-5_i386.deb2004-12-14 11:20 3.6M
[ ]coq-libs_8.0pl1-5_amd64.deb2004-12-13 21:55 3.6M