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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq_8.3.pl4+dfsg-1.debian.tar.gz2012-04-03 12:33 16K 
[ ]coq_8.3.pl4+dfsg.orig.tar.gz2012-04-03 12:33 3.0M 
[ ]coq_8.3.pl4+dfsg-1.dsc2012-04-03 12:33 2.3K 
[ ]coq-theories_8.3.pl4+dfsg-1_all.deb2012-04-03 13:04 52M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 5.5M 
[ ]coqide_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 4.9M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 1.7M 
[ ]coq_8.3.pl4+dfsg-1_i386.deb2012-04-03 13:04 4.7M 
[ ]coq_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.3M 
[ ]coqide_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.2M 
[ ]libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 5.6M 
[ ]libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb2012-04-03 13:34 1.9M 
[ ]coq_8.4pl3dfsg-1.debian.tar.xz2014-01-20 00:18 15K 
[ ]coq_8.4pl3dfsg-1.dsc2014-01-20 00:18 2.3K 
[ ]coq_8.4pl3dfsg.orig.tar.gz2014-01-20 00:18 3.4M 
[ ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-20 00:58 30M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 3.5M 
[ ]libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 1.5M 
[ ]coq_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 3.9M 
[ ]coqide_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 727K 
[ ]coqide_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 662K 
[ ]libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 1.4M 
[ ]coq_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 3.6M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 3.5M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-28 01:13 15K 
[ ]coq_8.4pl4dfsg-1.dsc2014-07-28 01:13 2.3K 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-28 01:13 3.4M 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 726K 
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 3.9M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 3.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-28 01:53 1.5M 
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-28 01:53 31M 
[ ]coq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 14:14 16K 
[ ]coq_8.4pl4dfsg-3build2.dsc2015-11-04 14:14 2.3K 
[ ]coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 3.6M 
[ ]coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 695K 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 1.3M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 3.6M 
[ ]coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 731K 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 1.4M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 3.5M 
[ ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 15:04 31M 
[ ]coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 3.8M 
[ ]coq_8.5.orig.tar.gz2016-01-27 00:09 4.6M 
[ ]coq_8.5-2build1.dsc2016-06-11 17:13 2.4K 
[ ]coq_8.5-2build1.debian.tar.xz2016-06-11 17:14 16K 
[ ]coqide_8.5-2build1_amd64.deb2016-06-11 18:14 1.2M 
[ ]libcoq-ocaml-dev_8.5-2build1_amd64.deb2016-06-11 18:14 13M 
[ ]coq-theories_8.5-2build1_amd64.deb2016-06-11 18:14 31M 
[ ]coq_8.5-2build1_amd64.deb2016-06-11 18:14 13M 
[ ]libcoq-ocaml_8.5-2build1_amd64.deb2016-06-11 18:14 3.2M 
[ ]coq_8.6.orig.tar.gz2016-12-28 18:13 4.8M 
[ ]coq_8.6-4.dsc2016-12-30 06:19 2.3K 
[ ]coq_8.6-4.debian.tar.xz2016-12-30 06:19 21K 
[ ]coq_8.6-4_amd64.deb2016-12-30 07:03 13M 
[ ]coqide_8.6-4_amd64.deb2016-12-30 07:03 1.3M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-30 07:03 13M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-30 07:03 3.3M 
[ ]coq-theories_8.6-4_amd64.deb2016-12-30 07:03 30M 
[ ]coq_8.6-4build3.debian.tar.xz2017-07-27 10:53 22K 
[ ]coq_8.6-4build3.dsc2017-07-27 10:53 2.1K 
[ ]coqide_8.6-4build3_amd64.deb2017-07-27 12:03 1.4M 
[ ]coq-theories_8.6-4build3_amd64.deb2017-07-27 12:03 32M 
[ ]coq_8.6-4build3_amd64.deb2017-07-27 12:03 17M 
[ ]libcoq-ocaml_8.6-4build3_amd64.deb2017-07-27 12:03 3.4M 
[ ]libcoq-ocaml-dev_8.6-4build3_amd64.deb2017-07-27 12:03 13M 
[ ]coq_8.6-5build1.debian.tar.xz2017-10-28 16:39 21K 
[ ]coq_8.6-5build1.dsc2017-10-28 16:39 2.3K 
[ ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 17:34 3.4M 
[ ]coq-theories_8.6-5build1_amd64.deb2017-10-28 17:34 32M 
[ ]coqide_8.6-5build1_amd64.deb2017-10-28 17:34 1.5M 
[ ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 17:34 13M 
[ ]coq_8.6-5build1_amd64.deb2017-10-28 17:34 17M 
[ ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 17:34 13M 
[ ]coq_8.6-5build1_i386.deb2017-10-28 17:34 16M 
[ ]coqide_8.6-5build1_i386.deb2017-10-28 17:34 1.3M 
[ ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 17:34 3.2M 
[ ]coq-theories_8.6-5build1_i386.deb2017-10-28 17:34 31M 
[ ]coq_8.8.2-1.debian.tar.xz2019-01-07 12:15 61K 
[ ]coq_8.8.2-1.dsc2019-01-07 12:15 2.4K 
[ ]coq_8.8.2.orig.tar.gz2019-01-07 12:15 5.1M 
[ ]coq_8.8.2-1_amd64.deb2019-01-07 15:48 17M 
[ ]libcoq-ocaml-dev_8.8.2-1_amd64.deb2019-01-07 15:48 12M 
[ ]coq-theories_8.8.2-1_amd64.deb2019-01-07 15:48 28M 
[ ]libcoq-ocaml_8.8.2-1_amd64.deb2019-01-07 15:48 4.3M 
[ ]coq_8.9.0-1.debian.tar.xz2019-02-07 00:18 27K 
[ ]coq_8.9.0-1.dsc2019-02-07 00:18 2.4K 
[ ]coq_8.9.0.orig.tar.gz2019-02-07 00:18 5.1M 
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-07 09:08 28M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-07 09:08 13M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-07 09:08 5.1M 
[ ]coq_8.9.0-1_amd64.deb2019-02-07 09:08 56M 
[ ]coq_8.9.0-1build1.debian.tar.xz2019-07-26 22:58 27K 
[ ]coq_8.9.0-1build1.dsc2019-07-26 22:58 2.4K 
[ ]libcoq-ocaml-dev_8.9.0-1build1_amd64.deb2019-07-26 23:13 13M 
[ ]libcoq-ocaml_8.9.0-1build1_amd64.deb2019-07-26 23:13 5.2M 
[ ]coq-theories_8.9.0-1build1_amd64.deb2019-07-26 23:13 28M 
[ ]coq_8.9.0-1build1_amd64.deb2019-07-26 23:13 56M 
[ ]coq_8.9.0-1build2.debian.tar.xz2019-08-05 12:18 27K 
[ ]coq_8.9.0-1build2.dsc2019-08-05 12:18 2.4K 
[ ]coq-theories_8.9.0-1build2_amd64.deb2019-08-05 12:58 28M 
[ ]libcoq-ocaml-dev_8.9.0-1build2_amd64.deb2019-08-05 12:58 13M 
[ ]coq_8.9.0-1build2_amd64.deb2019-08-05 12:58 56M 
[ ]libcoq-ocaml_8.9.0-1build2_amd64.deb2019-08-05 12:58 5.2M 
[ ]coq_8.9.1-1.debian.tar.xz2019-08-20 13:13 29K 
[ ]coq_8.9.1-1.dsc2019-08-20 13:13 2.1K 
[ ]coq_8.9.1.orig.tar.gz2019-08-20 13:13 5.1M 
[ ]libcoq-ocaml_8.9.1-1_amd64.deb2019-08-20 13:33 5.2M 
[ ]coq-theories_8.9.1-1_amd64.deb2019-08-20 13:33 28M 
[ ]coq_8.9.1-1_amd64.deb2019-08-20 13:33 56M 
[ ]libcoq-ocaml-dev_8.9.1-1_amd64.deb2019-08-20 13:33 13M 
[ ]coq_8.9.1-1_i386.deb2019-08-20 13:43 54M 
[ ]libcoq-ocaml-dev_8.9.1-1_i386.deb2019-08-20 13:43 13M 
[ ]libcoq-ocaml_8.9.1-1_i386.deb2019-08-20 13:43 4.9M 
[ ]coq-theories_8.9.1-1_i386.deb2019-08-20 13:43 27M 
[ ]coq_8.9.1-2.debian.tar.xz2019-11-09 00:28 29K 
[ ]coq_8.9.1-2.dsc2019-11-09 00:28 2.1K 
[ ]coq-theories_8.9.1-2_amd64.deb2019-11-09 00:43 28M 
[ ]coq_8.9.1-2_amd64.deb2019-11-09 00:43 56M 
[ ]libcoq-ocaml-dev_8.9.1-2_amd64.deb2019-11-09 00:43 13M 
[ ]libcoq-ocaml_8.9.1-2_amd64.deb2019-11-09 00:43 5.2M 
[ ]coq_8.9.1-3.debian.tar.xz2020-01-25 06:13 30K 
[ ]coq_8.9.1-3.dsc2020-01-25 06:13 2.4K 
[ ]coq_8.9.1-4.dsc2020-01-27 12:28 2.4K 
[ ]coq_8.9.1-4.debian.tar.xz2020-01-27 12:28 31K 
[ ]coq_8.9.1-5.debian.tar.xz2020-01-29 12:28 31K 
[ ]coq_8.9.1-5.dsc2020-01-29 12:28 2.4K 
[ ]coq_8.9.1-5build1.debian.tar.xz2020-02-22 00:38 31K 
[ ]coq_8.9.1-5build1.dsc2020-02-22 00:38 2.5K 
[ ]coq_8.9.1-5ubuntu1.debian.tar.xz2020-02-24 18:23 31K 
[ ]coq_8.9.1-5ubuntu1.dsc2020-02-24 18:23 2.5K 
[ ]coq_8.9.1-5ubuntu1_amd64.deb2020-02-24 19:03 67M 
[ ]coq-theories_8.9.1-5ubuntu1_amd64.deb2020-02-24 19:03 29M 
[ ]coqide_8.9.1-5ubuntu1_amd64.deb2020-02-24 19:03 1.7M 
[ ]libcoq-ocaml_8.9.1-5ubuntu1_amd64.deb2020-02-24 19:03 5.3M 
[ ]libcoq-ocaml-dev_8.9.1-5ubuntu1_amd64.deb2020-02-24 19:03 14M 
[ ]coq_8.11.0-1.dsc2020-03-06 08:53 2.4K 
[ ]coq_8.11.0-1.debian.tar.xz2020-03-06 08:53 31K 
[ ]coq_8.11.0.orig.tar.gz2020-03-06 08:53 5.6M 
[ ]coq_8.11.0-1_amd64.deb2020-03-06 09:38 73M 
[ ]coqide_8.11.0-1_amd64.deb2020-03-06 09:38 1.7M 
[ ]coq-theories_8.11.0-1_amd64.deb2020-03-06 09:38 32M 
[ ]libcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 09:38 6.0M 
[ ]libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 09:38 15M 
[ ]coq_8.11.0-1build1.debian.tar.xz2020-05-13 13:55 31K 
[ ]coq_8.11.0-1build1.dsc2020-05-13 13:55 2.5K 
[ ]libcoq-ocaml-dev_8.11.0-1build1_amd64.deb2020-05-13 15:08 15M 
[ ]coq-theories_8.11.0-1build1_amd64.deb2020-05-13 15:08 32M 
[ ]coqide_8.11.0-1build1_amd64.deb2020-05-13 15:08 1.6M 
[ ]libcoq-ocaml_8.11.0-1build1_amd64.deb2020-05-13 15:08 6.0M 
[ ]coq_8.11.0-1build1_amd64.deb2020-05-13 15:08 73M 
[ ]coq_8.12.0-3.debian.tar.xz2020-09-15 10:23 37K 
[ ]coq_8.12.0-3.dsc2020-09-15 10:23 2.4K 
[ ]coq_8.12.0.orig.tar.gz2020-09-15 10:23 5.7M 
[ ]coq-theories_8.12.0-3_amd64.deb2020-09-15 10:58 35M 
[ ]coqide_8.12.0-3_amd64.deb2020-09-15 10:58 1.6M 
[ ]coq_8.12.0-3_amd64.deb2020-09-15 10:58 75M 
[ ]libcoq-ocaml-dev_8.12.0-3_amd64.deb2020-09-15 10:58 16M 
[ ]libcoq-ocaml_8.12.0-3_amd64.deb2020-09-15 10:58 6.4M 
[ ]coq_8.12.0-3build1.debian.tar.xz2020-10-04 02:48 37K 
[ ]coq_8.12.0-3build1.dsc2020-10-04 02:48 2.4K 
[ ]libcoq-ocaml_8.12.0-3build1_amd64.deb2020-10-04 03:38 6.4M 
[ ]coq_8.12.0-3build1_amd64.deb2020-10-04 03:38 75M 
[ ]coqide_8.12.0-3build1_amd64.deb2020-10-04 03:38 1.7M 
[ ]coq-theories_8.12.0-3build1_amd64.deb2020-10-04 03:38 35M 
[ ]libcoq-ocaml-dev_8.12.0-3build1_amd64.deb2020-10-04 03:38 16M 
[ ]coq_8.12.0-3build2.debian.tar.xz2020-11-02 20:48 37K 
[ ]coq_8.12.0-3build2.dsc2020-11-02 20:48 2.5K 
[ ]coq_8.12.0-3build2_amd64.deb2020-11-03 17:43 86M 
[ ]libcoq-ocaml-dev_8.12.0-3build2_amd64.deb2020-11-03 17:43 18M 
[ ]coq-theories_8.12.0-3build2_amd64.deb2020-11-03 17:43 35M 
[ ]coqide_8.12.0-3build2_amd64.deb2020-11-03 17:43 1.8M 
[ ]libcoq-ocaml_8.12.0-3build2_amd64.deb2020-11-03 17:43 7.4M 
[ ]coq_8.12.0-3build3.debian.tar.xz2020-11-28 10:28 37K 
[ ]coq_8.12.0-3build3.dsc2020-11-28 10:28 2.4K 
[ ]coq-theories_8.12.0-3build3_amd64.deb2020-11-28 11:13 35M 
[ ]libcoq-ocaml_8.12.0-3build3_amd64.deb2020-11-28 11:13 7.4M 
[ ]coq_8.12.0-3build3_amd64.deb2020-11-28 11:13 86M 
[ ]coqide_8.12.0-3build3_amd64.deb2020-11-28 11:13 1.8M 
[ ]libcoq-ocaml-dev_8.12.0-3build3_amd64.deb2020-11-28 11:13 18M 
[ ]coq_8.14.0+dfsg-3.dsc2021-11-13 18:23 2.5K 
[ ]coq_8.14.0+dfsg.orig.tar.xz2021-11-13 18:23 4.4M 
[ ]coq_8.14.0+dfsg-3.debian.tar.xz2021-11-13 18:23 39K 
[ ]coq_8.14.0+dfsg-3_amd64.deb2021-11-13 18:53 89M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-3_amd64.deb2021-11-13 18:53 47M 
[ ]coq-theories_8.14.0+dfsg-3_amd64.deb2021-11-13 18:53 27M 
[ ]coqide_8.14.0+dfsg-3_amd64.deb2021-11-13 18:53 2.2M 
[ ]libcoq-ocaml_8.14.0+dfsg-3_amd64.deb2021-11-13 18:53 25M 
[ ]coq_8.14.0+dfsg-4.dsc2021-11-15 12:19 3.0K 
[ ]coq_8.14.0+dfsg-4.debian.tar.xz2021-11-15 12:19 39K 
[ ]libcoq-ocaml_8.14.0+dfsg-4_amd64.deb2021-11-15 12:54 25M 
[ ]coq-theories_8.14.0+dfsg-4_amd64.deb2021-11-15 12:54 24M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-4_amd64.deb2021-11-15 12:54 43M 
[ ]coq_8.14.0+dfsg-4_amd64.deb2021-11-15 12:54 88M 
[ ]coqide_8.14.0+dfsg-4_amd64.deb2021-11-15 12:54 2.2M 
[ ]coq_8.14.0+dfsg-6.dsc2021-11-16 12:49 2.9K 
[ ]coq_8.14.0+dfsg-6.debian.tar.xz2021-11-16 12:49 39K 
[ ]coq_8.14.0+dfsg-6_amd64.deb2021-11-16 12:50 88M 
[ ]libcoq-ocaml_8.14.0+dfsg-6_amd64.deb2021-11-16 12:50 25M 
[ ]coqide_8.14.0+dfsg-6_amd64.deb2021-11-16 12:50 2.2M 
[ ]coq-theories_8.14.0+dfsg-6_amd64.deb2021-11-16 12:50 24M 
[ ]libcoq-ocaml-dev_8.14.0+dfsg-6_amd64.deb2021-11-16 12:50 43M 
[ ]coq_8.14.1+dfsg-1.dsc2021-12-11 18:19 2.9K 
[ ]coq_8.14.1+dfsg.orig.tar.xz2021-12-11 18:19 4.4M 
[ ]coq_8.14.1+dfsg-1.debian.tar.xz2021-12-11 18:19 39K 
[ ]coqide_8.14.1+dfsg-1_amd64.deb2021-12-11 18:39 2.2M 
[ ]libcoq-ocaml_8.14.1+dfsg-1_amd64.deb2021-12-11 18:39 25M 
[ ]coq-theories_8.14.1+dfsg-1_amd64.deb2021-12-11 18:39 24M 
[ ]libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb2021-12-11 18:39 43M 
[ ]coq_8.14.1+dfsg-1_amd64.deb2021-12-11 18:39 89M 
[ ]coq_8.14.1+dfsg-2.dsc2022-01-17 18:19 2.5K 
[ ]coq_8.14.1+dfsg-2.debian.tar.xz2022-01-17 18:19 39K 
[ ]coqide_8.14.1+dfsg-2_amd64.deb2022-01-17 19:04 2.2M 
[ ]coq-theories_8.14.1+dfsg-2_amd64.deb2022-01-17 19:04 24M 
[ ]libcoq-ocaml-dev_8.14.1+dfsg-2_amd64.deb2022-01-17 19:04 43M 
[ ]libcoq-ocaml_8.14.1+dfsg-2_amd64.deb2022-01-17 19:04 25M 
[ ]coq_8.14.1+dfsg-2_amd64.deb2022-01-17 19:04 88M 
[ ]coq_8.15.0+dfsg-1.dsc2022-01-18 00:14 2.5K 
[ ]coq_8.15.0+dfsg.orig.tar.xz2022-01-18 00:14 4.5M 
[ ]coq_8.15.0+dfsg-1.debian.tar.xz2022-01-18 00:14 39K 
[ ]libcoq-ocaml_8.15.0+dfsg-1_amd64.deb2022-01-18 00:54 26M 
[ ]coq-theories_8.15.0+dfsg-1_amd64.deb2022-01-18 00:54 24M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1_amd64.deb2022-01-18 00:54 43M 
[ ]coqide_8.15.0+dfsg-1_amd64.deb2022-01-18 00:54 2.2M 
[ ]coq_8.15.0+dfsg-1_amd64.deb2022-01-18 00:54 89M 
[ ]coq_8.15.0+dfsg-1build1.debian.tar.xz2022-01-25 16:14 39K 
[ ]coq_8.15.0+dfsg-1build1.dsc2022-01-25 16:14 2.6K 
[ ]coq_8.15.0+dfsg-1build1_amd64.deb2022-01-25 16:34 91M 
[ ]libcoq-ocaml_8.15.0+dfsg-1build1_amd64.deb2022-01-25 16:34 26M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1build1_amd64.deb2022-01-25 16:34 43M 
[ ]coq-theories_8.15.0+dfsg-1build1_amd64.deb2022-01-25 16:34 24M 
[ ]coqide_8.15.0+dfsg-1build1_amd64.deb2022-01-25 16:34 2.3M 
[ ]coq_8.15.0+dfsg-2.dsc2022-02-05 18:49 2.5K 
[ ]coq_8.15.0+dfsg-2.debian.tar.xz2022-02-05 18:49 39K 
[ ]coqide_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 2.3M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 26M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 43M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 24M 
[ ]coq_8.15.0+dfsg-2_amd64.deb2022-02-06 00:52 91M 
[ ]coq_8.15.1+dfsg-1.dsc2022-04-30 03:36 2.5K 
[ ]coq_8.15.1+dfsg.orig.tar.xz2022-04-30 03:36 4.5M 
[ ]coq_8.15.1+dfsg-1.debian.tar.xz2022-04-30 03:36 39K 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb2022-04-30 07:32 26M 
[ ]coq_8.15.1+dfsg-1_amd64.deb2022-04-30 07:32 91M 
[ ]coqide_8.15.1+dfsg-1_amd64.deb2022-04-30 07:32 2.2M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb2022-04-30 07:32 43M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_amd64.deb2022-04-30 07:32 23M 
[ ]coq_8.15.1+dfsg-1build1.debian.tar.xz2022-05-02 11:09 39K 
[ ]coq_8.15.1+dfsg-1build1.dsc2022-05-02 11:09 2.5K 
[ ]coqide_8.15.1+dfsg-1build1_amd64.deb2022-05-02 11:29 2.2M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1build1_amd64.deb2022-05-02 11:29 26M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1build1_amd64.deb2022-05-02 11:29 43M 
[ ]coq_8.15.1+dfsg-1build1_amd64.deb2022-05-02 11:29 91M 
[ ]libcoq-stdlib_8.15.1+dfsg-1build1_amd64.deb2022-05-02 11:29 23M 
[ ]coq_8.15.1+dfsg-2.dsc2022-05-21 01:34 2.5K 
[ ]coq_8.15.1+dfsg-2.debian.tar.xz2022-05-21 01:34 39K 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_amd64.deb2022-05-21 01:54 26M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_amd64.deb2022-05-21 01:54 23M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_amd64.deb2022-05-21 01:54 47M 
[ ]coqide_8.15.1+dfsg-2_amd64.deb2022-05-21 01:54 2.2M 
[ ]coq_8.15.1+dfsg-2_amd64.deb2022-05-21 01:54 90M 
[ ]coq_8.15.2+dfsg-1.dsc2022-06-01 07:23 2.5K 
[ ]coq_8.15.2+dfsg.orig.tar.xz2022-06-01 07:23 4.5M 
[ ]coq_8.15.2+dfsg-1.debian.tar.xz2022-06-01 07:23 39K 
[ ]libcoq-stdlib_8.15.2+dfsg-1_amd64.deb2022-06-01 09:39 23M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_amd64.deb2022-06-01 09:39 26M 
[ ]coq_8.15.2+dfsg-1_amd64.deb2022-06-01 09:39 91M 
[ ]coqide_8.15.2+dfsg-1_amd64.deb2022-06-01 09:39 2.2M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_amd64.deb2022-06-01 09:39 47M 
[ ]coq_8.15.2+dfsg-2.dsc2022-06-12 07:34 2.5K 
[ ]coq_8.15.2+dfsg-2.debian.tar.xz2022-06-12 07:34 39K 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 26M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 47M 
[ ]coq_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 90M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 23M 
[ ]coqide_8.15.2+dfsg-2_amd64.deb2022-06-12 07:34 2.2M 
[ ]coq_8.16.0+dfsg-1.dsc2022-11-06 04:17 2.6K 
[ ]coq_8.16.0+dfsg.orig.tar.xz2022-11-06 04:17 4.5M 
[ ]coq_8.16.0+dfsg-1.debian.tar.xz2022-11-06 04:17 33K 
[ ]libcoq-stdlib_8.16.0+dfsg-1_amd64.deb2022-11-06 04:22 23M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_amd64.deb2022-11-06 04:22 47M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_amd64.deb2022-11-06 04:22 26M 
[ ]coqide_8.16.0+dfsg-1_amd64.deb2022-11-06 04:22 2.2M 
[ ]coq_8.16.0+dfsg-1_amd64.deb2022-11-06 04:22 104M 
[ ]coq_8.16.0+dfsg-1build1.debian.tar.xz2022-11-25 07:44 33K 
[ ]coq_8.16.0+dfsg-1build1.dsc2022-11-25 07:44 2.6K 
[ ]coqide_8.16.0+dfsg-1build1_amd64.deb2022-11-25 08:39 2.2M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1build1_amd64.deb2022-11-25 08:39 26M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1build1_amd64.deb2022-11-25 08:39 47M 
[ ]libcoq-stdlib_8.16.0+dfsg-1build1_amd64.deb2022-11-25 08:39 23M 
[ ]coq_8.16.0+dfsg-1build1_amd64.deb2022-11-25 08:39 104M 
[ ]coq_8.16.1+dfsg-1.dsc2022-11-29 18:24 2.6K 
[ ]coq_8.16.1+dfsg.orig.tar.xz2022-11-29 18:24 4.5M 
[ ]coq_8.16.1+dfsg-1.debian.tar.xz2022-11-29 18:24 32K 
[ ]libcoq-stdlib_8.16.1+dfsg-1_amd64.deb2022-11-29 18:49 23M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb2022-11-29 18:49 26M 
[ ]coqide_8.16.1+dfsg-1_amd64.deb2022-11-29 18:49 2.2M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb2022-11-29 18:49 47M 
[ ]coq_8.16.1+dfsg-1_amd64.deb2022-11-29 18:49 104M 
[ ]coq_8.16.1+dfsg-1build1.debian.tar.xz2023-01-26 09:29 33K 
[ ]coq_8.16.1+dfsg-1build1.dsc2023-01-26 09:29 2.6K 
[ ]coq_8.16.1+dfsg-1build1_amd64.deb2023-01-26 09:54 104M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build1_amd64.deb2023-01-26 09:54 26M 
[ ]libcoq-stdlib_8.16.1+dfsg-1build1_amd64.deb2023-01-26 09:54 23M 
[ ]coqide_8.16.1+dfsg-1build1_amd64.deb2023-01-26 09:54 2.2M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build1_amd64.deb2023-01-26 09:54 47M 
[ ]coq_8.16.1+dfsg-1build2.debian.tar.xz2023-02-16 11:06 33K 
[ ]coq_8.16.1+dfsg-1build2.dsc2023-02-16 11:06 2.6K 
[ ]coq_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 104M 
[ ]coqide_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 2.2M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 26M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 47M 
[ ]libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 23M 
[ ]coq_8.17.0+dfsg-1.dsc2023-06-12 20:01 2.6K 
[ ]coq_8.17.0+dfsg.orig.tar.xz2023-06-12 20:01 4.6M 
[ ]coq_8.17.0+dfsg-1.debian.tar.xz2023-06-12 20:01 32K 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb2023-06-12 20:47 26M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_amd64.deb2023-06-12 20:47 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb2023-06-12 20:47 48M 
[ ]coqide_8.17.0+dfsg-1_amd64.deb2023-06-12 20:47 2.2M 
[ ]coq_8.17.0+dfsg-1_amd64.deb2023-06-12 20:47 88M 
[ ]coq_8.17.0+dfsg-1build1.debian.tar.xz2023-07-24 19:37 32K 
[ ]coq_8.17.0+dfsg-1build1.dsc2023-07-24 19:37 2.6K 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 48M 
[ ]libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 27M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 26M 
[ ]coq_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 89M 
[ ]coqide_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 2.2M 
[ ]coq_8.17.0+dfsg-1build2.debian.tar.xz2023-11-05 09:00 32K 
[ ]coq_8.17.0+dfsg-1build2.dsc2023-11-05 09:00 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1build2_amd64.deb2023-11-05 20:14 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build2_amd64.deb2023-11-05 20:14 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build2_amd64.deb2023-11-05 20:14 26M 
[ ]coqide_8.17.0+dfsg-1build2_amd64.deb2023-11-05 20:14 2.2M 
[ ]coq_8.17.0+dfsg-1build2_amd64.deb2023-11-05 20:14 90M 
[ ]coq_8.17.0+dfsg-1build3.debian.tar.xz2023-11-15 09:35 32K 
[ ]coq_8.17.0+dfsg-1build3.dsc2023-11-15 09:35 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1build3_amd64.deb2023-11-15 12:41 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build3_amd64.deb2023-11-15 12:41 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build3_amd64.deb2023-11-15 12:41 26M 
[ ]coqide_8.17.0+dfsg-1build3_amd64.deb2023-11-15 12:41 2.2M 
[ ]coq_8.17.0+dfsg-1build3_amd64.deb2023-11-15 12:41 90M 
[ ]coq_8.17.0+dfsg-1build4.debian.tar.xz2023-11-22 13:09 32K 
[ ]coq_8.17.0+dfsg-1build4.dsc2023-11-22 13:09 2.6K 
[ ]coq_8.17.0+dfsg-1ubuntu1.debian.tar.xz2023-11-22 18:34 33K 
[ ]coq_8.17.0+dfsg-1ubuntu1.dsc2023-11-22 18:34 2.6K 
[ ]libcoq-stdlib_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 19:11 27M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 19:11 48M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 19:11 26M 
[ ]coqide_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 19:11 2.2M 
[ ]coq_8.17.0+dfsg-1ubuntu1_amd64.deb2023-11-22 19:11 90M 
[ ]coq_8.18.0+dfsg-1.dsc2023-12-22 20:46 2.5K 
[ ]coq_8.18.0+dfsg.orig.tar.xz2023-12-22 20:46 4.6M 
[ ]coq_8.18.0+dfsg-1.debian.tar.xz2023-12-22 20:46 32K 
[ ]libcoq-stdlib_8.18.0+dfsg-1_amd64.deb2023-12-22 20:47 34M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb2023-12-22 20:47 62M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb2023-12-22 20:47 33M 
[ ]coqide_8.18.0+dfsg-1_amd64.deb2023-12-22 20:47 2.7M 
[ ]coq_8.18.0+dfsg-1_amd64.deb2023-12-22 20:47 114M 
[ ]coq_8.18.0+dfsg-1build1.debian.tar.xz2024-03-08 05:42 33K 
[ ]coq_8.18.0+dfsg-1build1.dsc2024-03-08 05:42 2.6K 
[ ]libcoq-stdlib_8.18.0+dfsg-1build1_amd64.deb2024-03-08 05:43 25M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1build1_amd64.deb2024-03-08 05:43 49M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1build1_amd64.deb2024-03-08 05:43 26M 
[ ]coqide_8.18.0+dfsg-1build1_amd64.deb2024-03-08 05:43 2.2M 
[ ]coq_8.18.0+dfsg-1build1_amd64.deb2024-03-08 05:43 92M 
[ ]coq_8.18.0+dfsg-1build2.debian.tar.xz2024-03-31 20:36 33K 
[ ]coq_8.18.0+dfsg-1build2.dsc2024-03-31 20:36 2.6K 
[ ]libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 25M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 49M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 26M 
[ ]coqide_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 2.2M 
[ ]coq_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 91M 
[ ]coq_8.19.1+dfsg-1.dsc2024-05-02 13:53 2.5K 
[ ]coq_8.19.1+dfsg.orig.tar.bz22024-05-02 13:53 5.3M 
[ ]coq_8.19.1+dfsg-1.debian.tar.xz2024-05-02 13:53 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-1_amd64.deb2024-05-02 13:53 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb2024-05-02 13:53 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb2024-05-02 13:53 27M 
[ ]coqide_8.19.1+dfsg-1_amd64.deb2024-05-02 13:53 2.2M 
[ ]coq_8.19.1+dfsg-1_amd64.deb2024-05-02 13:53 92M 
[ ]coq_8.19.1+dfsg-2.dsc2024-06-15 13:18 2.3K 
[ ]coq_8.19.1+dfsg-2.debian.tar.xz2024-06-15 13:18 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-2_amd64.deb2024-06-15 13:58 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb2024-06-15 13:58 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb2024-06-15 13:58 26M 
[ ]coqide_8.19.1+dfsg-2_amd64.deb2024-06-15 13:58 2.2M 
[ ]coq_8.19.1+dfsg-2_amd64.deb2024-06-15 13:58 91M 
[ ]coq_8.19.1+dfsg-3.dsc2024-08-03 20:22 2.3K 
[ ]coq_8.19.1+dfsg-3.debian.tar.xz2024-08-03 20:22 32K 
[ ]libcoq-stdlib_8.19.1+dfsg-3_amd64.deb2024-08-03 21:20 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb2024-08-03 21:20 50M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb2024-08-03 21:20 26M 
[ ]coqide_8.19.1+dfsg-3_amd64.deb2024-08-03 21:20 2.2M 
[ ]coq_8.19.1+dfsg-3_amd64.deb2024-08-03 21:20 91M 
[ ]coq_8.19.1+dfsg-3build1.debian.tar.xz2024-08-09 15:49 32K 
[ ]coq_8.19.1+dfsg-3build1.dsc2024-08-09 15:49 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build1_amd64.deb2024-08-14 13:03 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build1_amd64.deb2024-08-14 13:03 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build1_amd64.deb2024-08-14 13:03 25M 
[ ]coqide_8.19.1+dfsg-3build1_amd64.deb2024-08-14 13:03 2.3M 
[ ]coq_8.19.1+dfsg-3build1_amd64.deb2024-08-14 13:03 96M 
[ ]coq_8.19.1+dfsg-3build2.debian.tar.xz2024-09-06 17:36 32K 
[ ]coq_8.19.1+dfsg-3build2.dsc2024-09-06 17:36 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build2_amd64.deb2024-09-06 18:41 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build2_amd64.deb2024-09-06 18:41 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build2_amd64.deb2024-09-06 18:41 25M 
[ ]coqide_8.19.1+dfsg-3build2_amd64.deb2024-09-06 18:41 2.3M 
[ ]coq_8.19.1+dfsg-3build2_amd64.deb2024-09-06 18:41 96M 
[ ]coq_8.19.1+dfsg-3build3.debian.tar.xz2024-09-07 09:08 32K 
[ ]coq_8.19.1+dfsg-3build3.dsc2024-09-07 09:08 2.5K 
[ ]libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 26M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 65M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 25M 
[ ]coqide_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 2.3M 
[ ]coq_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 96M 
[ ]coq_8.20.0+dfsg-1.dsc2024-11-20 19:47 2.5K 
[ ]coq_8.20.0+dfsg.orig.tar.xz2024-11-20 19:47 4.8M 
[ ]coq_8.20.0+dfsg-1.debian.tar.xz2024-11-20 19:47 29K 
[ ]libcoq-stdlib_8.20.0+dfsg-1_amd64.deb2024-11-20 19:48 26M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb2024-11-20 19:48 67M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb2024-11-20 19:48 26M 
[ ]coqide_8.20.0+dfsg-1_amd64.deb2024-11-20 19:48 2.1M 
[ ]coq_8.20.0+dfsg-1_amd64.deb2024-11-20 19:48 86M