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

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