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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-theories_8.2.pl1..>2010-02-28 01:04 17M 
[ ]coq-theories_8.3.pl4..>2012-04-03 19:04 52M 
[ ]coq-theories_8.3.pl4..>2012-06-09 02:04 52M 
[ ]coq-theories_8.4pl2d..>2013-05-09 08:03 56M 
[ ]coq-theories_8.4pl3d..>2014-01-20 07:58 30M 
[ ]coq-theories_8.4pl4d..>2014-07-28 07:53 31M 
[ ]coq-theories_8.4pl4d..>2015-10-24 08:54 30M 
[ ]coq-theories_8.4pl4d..>2015-10-29 01:56 30M 
[ ]coq-theories_8.4pl4d..>2015-11-04 22:04 31M 
[ ]coq-theories_8.5-1_a..>2016-01-27 07:59 31M 
[ ]coq-theories_8.5-1_i..>2016-01-27 07:59 30M 
[ ]coq-theories_8.5-2_a..>2016-01-29 14:19 31M 
[ ]coq-theories_8.5-2_i..>2016-01-29 14:20 30M 
[ ]coq-theories_8.5-2bu..>2016-06-12 00:14 31M 
[ ]coq-theories_8.5-2bu..>2016-06-12 00:15 30M 
[ ]coq-theories_8.6-1_a..>2016-12-29 01:53 30M 
[ ]coq-theories_8.6-1_i..>2016-12-29 01:48 29M 
[ ]coq-theories_8.6-2_a..>2016-12-29 14:13 30M 
[ ]coq-theories_8.6-2_i..>2016-12-29 14:13 29M 
[ ]coq-theories_8.6-3_a..>2016-12-30 02:23 30M 
[ ]coq-theories_8.6-3_i..>2016-12-30 02:24 29M 
[ ]coq-theories_8.6-4_a..>2016-12-30 14:03 30M 
[ ]coq-theories_8.6-4_i..>2016-12-30 14:03 29M 
[ ]coq-theories_8.6-4bu..>2017-07-01 00:23 32M 
[ ]coq-theories_8.6-4bu..>2017-07-01 00:08 30M 
[ ]coq-theories_8.6-4bu..>2017-07-17 03:13 32M 
[ ]coq-theories_8.6-4bu..>2017-07-17 03:13 30M 
[ ]coq-theories_8.6-4bu..>2017-07-27 18:03 32M 
[ ]coq-theories_8.6-4bu..>2017-07-27 17:34 30M 
[ ]coq-theories_8.6-5bu..>2017-10-28 23:34 32M 
[ ]coq-theories_8.6-5bu..>2017-10-28 23:34 31M 
[ ]coq-theories_8.8.2-1..>2019-01-07 22:48 28M 
[ ]coq-theories_8.8.2-1..>2019-01-07 19:58 27M 
[ ]coq-theories_8.9.0-1..>2019-02-07 16:08 28M 
[ ]coq-theories_8.9.0-1..>2019-02-07 16:08 27M 
[ ]coq-theories_8.9.0-1..>2019-07-27 05:13 28M 
[ ]coq-theories_8.9.0-1..>2019-07-27 05:13 27M 
[ ]coq-theories_8.9.0-1..>2019-08-05 18:58 28M 
[ ]coq-theories_8.9.0-1..>2019-08-05 18:58 27M 
[ ]coq-theories_8.9.1-1..>2019-08-20 19:33 28M 
[ ]coq-theories_8.9.1-1..>2019-08-20 19:43 27M 
[ ]coq-theories_8.9.1-2..>2019-11-09 07:43 28M 
[ ]coq-theories_8.9.1-2..>2019-11-09 07:43 27M 
[ ]coq-theories_8.9.1-5..>2020-02-25 02:03 29M 
[ ]coq-theories_8.11.0-..>2020-03-06 16:38 32M 
[ ]coq-theories_8.11.0-..>2020-05-13 21:08 32M 
[ ]coq-theories_8.12.0-..>2020-09-15 16:58 35M 
[ ]coq-theories_8.12.0-..>2020-10-04 09:38 35M 
[ ]coq-theories_8.12.0-..>2020-11-04 00:43 35M 
[ ]coq-theories_8.12.0-..>2020-11-28 18:13 35M 
[ ]coq-theories_8.14.0+..>2021-11-14 01:53 27M 
[ ]coq-theories_8.14.0+..>2021-11-15 19:54 24M 
[ ]coq-theories_8.14.0+..>2021-11-16 19:50 24M 
[ ]coq-theories_8.14.1+..>2021-12-12 01:39 24M 
[ ]coq-theories_8.14.1+..>2022-01-18 02:04 24M 
[ ]coq-theories_8.15.0+..>2022-01-18 07:54 24M 
[ ]coq-theories_8.15.0+..>2022-01-25 23:34 24M 
[ ]coq_8.2.pl1+dfsg-6.d..>2010-02-28 00:04 15K 
[TXT]coq_8.2.pl1+dfsg-6.dsc 2010-02-28 00:04 2.2K 
[ ]coq_8.2.pl1+dfsg-6_a..>2010-02-28 01:04 15M 
[ ]coq_8.2.pl1+dfsg-6_i..>2010-02-28 01:04 13M 
[ ]coq_8.2.pl1+dfsg.ori..>2009-07-29 03:13 3.0M 
[ ]coq_8.3.pl4+dfsg-1.d..>2012-04-03 18:33 16K 
[TXT]coq_8.3.pl4+dfsg-1.dsc 2012-04-03 18:33 2.3K 
[ ]coq_8.3.pl4+dfsg-1_a..>2012-04-03 19:34 5.3M 
[ ]coq_8.3.pl4+dfsg-1_i..>2012-04-03 19:04 4.7M 
[ ]coq_8.3.pl4+dfsg-2.d..>2012-06-08 22:36 16K 
[TXT]coq_8.3.pl4+dfsg-2.dsc 2012-06-08 22:36 2.3K 
[ ]coq_8.3.pl4+dfsg-2_a..>2012-06-09 05:03 5.3M 
[ ]coq_8.3.pl4+dfsg-2_i..>2012-06-09 02:04 4.7M 
[ ]coq_8.3.pl4+dfsg.ori..>2012-04-03 18:33 3.0M 
[ ]coq_8.4pl2dfsg-1.deb..>2013-05-09 07:33 17K 
[TXT]coq_8.4pl2dfsg-1.dsc 2013-05-09 07:33 2.3K 
[ ]coq_8.4pl2dfsg-1_amd..>2013-05-09 08:03 5.7M 
[ ]coq_8.4pl2dfsg-1_i38..>2013-05-09 08:03 5.0M 
[ ]coq_8.4pl2dfsg.orig...>2013-05-09 07:33 3.4M 
[ ]coq_8.4pl3dfsg-1.deb..>2014-01-20 07:18 15K 
[TXT]coq_8.4pl3dfsg-1.dsc 2014-01-20 07:18 2.3K 
[ ]coq_8.4pl3dfsg-1_amd..>2014-01-20 07:58 3.9M 
[ ]coq_8.4pl3dfsg-1_i38..>2014-01-20 07:58 3.6M 
[ ]coq_8.4pl3dfsg.orig...>2014-01-20 07:18 3.4M 
[ ]coq_8.4pl4dfsg-1.deb..>2014-07-28 07:13 15K 
[TXT]coq_8.4pl4dfsg-1.dsc 2014-07-28 07:13 2.3K 
[ ]coq_8.4pl4dfsg-1_amd..>2014-07-28 07:53 3.9M 
[ ]coq_8.4pl4dfsg-1_i38..>2014-07-28 07:53 3.6M 
[ ]coq_8.4pl4dfsg-3.deb..>2015-10-24 05:36 16K 
[TXT]coq_8.4pl4dfsg-3.dsc 2015-10-24 05:36 2.3K 
[ ]coq_8.4pl4dfsg-3_amd..>2015-10-24 08:54 3.7M 
[ ]coq_8.4pl4dfsg-3_i38..>2015-10-24 09:10 3.5M 
[ ]coq_8.4pl4dfsg-3buil..>2015-10-29 01:24 16K 
[TXT]coq_8.4pl4dfsg-3buil..>2015-10-29 01:24 2.0K 
[ ]coq_8.4pl4dfsg-3buil..>2015-10-29 01:56 3.7M 
[ ]coq_8.4pl4dfsg-3buil..>2015-10-29 01:56 3.5M 
[ ]coq_8.4pl4dfsg-3buil..>2015-11-04 21:14 16K 
[TXT]coq_8.4pl4dfsg-3buil..>2015-11-04 21:14 2.3K 
[ ]coq_8.4pl4dfsg-3buil..>2015-11-04 22:04 3.8M 
[ ]coq_8.4pl4dfsg-3buil..>2015-11-04 21:39 3.6M 
[ ]coq_8.4pl4dfsg.orig...>2014-07-28 07:13 3.4M 
[ ]coq_8.5-1.debian.tar.xz2016-01-27 07:09 16K 
[TXT]coq_8.5-1.dsc 2016-01-27 07:09 2.3K 
[ ]coq_8.5-1_amd64.deb 2016-01-27 07:59 12M 
[ ]coq_8.5-1_i386.deb 2016-01-27 07:59 12M 
[ ]coq_8.5-2.debian.tar.xz2016-01-29 13:25 16K 
[TXT]coq_8.5-2.dsc 2016-01-29 13:25 2.3K 
[ ]coq_8.5-2_amd64.deb 2016-01-29 14:19 12M 
[ ]coq_8.5-2_i386.deb 2016-01-29 14:20 12M 
[ ]coq_8.5-2build1.debi..>2016-06-11 23:14 16K 
[TXT]coq_8.5-2build1.dsc 2016-06-11 23:13 2.4K 
[ ]coq_8.5-2build1_amd6..>2016-06-12 00:14 13M 
[ ]coq_8.5-2build1_i386..>2016-06-12 00:15 12M 
[ ]coq_8.5.orig.tar.gz 2016-01-27 07:09 4.6M 
[ ]coq_8.6-1.debian.tar.xz2016-12-29 01:13 16K 
[TXT]coq_8.6-1.dsc 2016-12-29 01:13 2.3K 
[ ]coq_8.6-1_amd64.deb 2016-12-29 01:53 13M 
[ ]coq_8.6-1_i386.deb 2016-12-29 01:48 12M 
[ ]coq_8.6-2.debian.tar.xz2016-12-29 13:18 21K 
[TXT]coq_8.6-2.dsc 2016-12-29 13:18 2.3K 
[ ]coq_8.6-2_amd64.deb 2016-12-29 14:13 13M 
[ ]coq_8.6-2_i386.deb 2016-12-29 14:13 12M 
[ ]coq_8.6-3.debian.tar.xz2016-12-30 01:34 21K 
[TXT]coq_8.6-3.dsc 2016-12-30 01:34 2.3K 
[ ]coq_8.6-3_amd64.deb 2016-12-30 02:23 13M 
[ ]coq_8.6-3_i386.deb 2016-12-30 02:24 12M 
[ ]coq_8.6-4.debian.tar.xz2016-12-30 13:19 21K 
[TXT]coq_8.6-4.dsc 2016-12-30 13:19 2.3K 
[ ]coq_8.6-4_amd64.deb 2016-12-30 14:03 13M 
[ ]coq_8.6-4_i386.deb 2016-12-30 14:03 12M 
[ ]coq_8.6-4build1.debi..>2017-06-30 22:03 22K 
[TXT]coq_8.6-4build1.dsc 2017-06-30 22:03 2.1K 
[ ]coq_8.6-4build1_amd6..>2017-07-01 00:23 17M 
[ ]coq_8.6-4build1_i386..>2017-07-01 00:08 16M 
[ ]coq_8.6-4build2.debi..>2017-07-17 03:13 22K 
[TXT]coq_8.6-4build2.dsc 2017-07-17 03:13 2.1K 
[ ]coq_8.6-4build2_amd6..>2017-07-17 03:13 17M 
[ ]coq_8.6-4build2_i386..>2017-07-17 03:13 16M 
[ ]coq_8.6-4build3.debi..>2017-07-27 16:53 22K 
[TXT]coq_8.6-4build3.dsc 2017-07-27 16:53 2.1K 
[ ]coq_8.6-4build3_amd6..>2017-07-27 18:03 17M 
[ ]coq_8.6-4build3_i386..>2017-07-27 17:34 16M 
[ ]coq_8.6-5.debian.tar.xz2017-10-28 05:55 21K 
[TXT]coq_8.6-5.dsc 2017-10-28 05:55 2.4K 
[ ]coq_8.6-5build1.debi..>2017-10-28 22:39 21K 
[TXT]coq_8.6-5build1.dsc 2017-10-28 22:39 2.3K 
[ ]coq_8.6-5build1_amd6..>2017-10-28 23:34 17M 
[ ]coq_8.6-5build1_i386..>2017-10-28 23:34 16M 
[ ]coq_8.6.orig.tar.gz 2016-12-29 01:13 4.8M 
[ ]coq_8.8.2-1.debian.t..>2019-01-07 19:15 61K 
[TXT]coq_8.8.2-1.dsc 2019-01-07 19:15 2.4K 
[ ]coq_8.8.2-1_amd64.deb 2019-01-07 22:48 17M 
[ ]coq_8.8.2-1_i386.deb 2019-01-07 19:58 16M 
[ ]coq_8.8.2.orig.tar.gz 2019-01-07 19:15 5.1M 
[ ]coq_8.9.0-1.debian.t..>2019-02-07 07:18 27K 
[TXT]coq_8.9.0-1.dsc 2019-02-07 07:18 2.4K 
[ ]coq_8.9.0-1_amd64.deb 2019-02-07 16:08 56M 
[ ]coq_8.9.0-1_i386.deb 2019-02-07 16:08 54M 
[ ]coq_8.9.0-1build1.de..>2019-07-27 04:58 27K 
[TXT]coq_8.9.0-1build1.dsc 2019-07-27 04:58 2.4K 
[ ]coq_8.9.0-1build1_am..>2019-07-27 05:13 56M 
[ ]coq_8.9.0-1build1_i3..>2019-07-27 05:13 54M 
[ ]coq_8.9.0-1build2.de..>2019-08-05 18:18 27K 
[TXT]coq_8.9.0-1build2.dsc 2019-08-05 18:18 2.4K 
[ ]coq_8.9.0-1build2_am..>2019-08-05 18:58 56M 
[ ]coq_8.9.0-1build2_i3..>2019-08-05 18:58 54M 
[ ]coq_8.9.0.orig.tar.gz 2019-02-07 07:18 5.1M 
[ ]coq_8.9.1-1.debian.t..>2019-08-20 19:13 29K 
[TXT]coq_8.9.1-1.dsc 2019-08-20 19:13 2.1K 
[ ]coq_8.9.1-1_amd64.deb 2019-08-20 19:33 56M 
[ ]coq_8.9.1-1_i386.deb 2019-08-20 19:43 54M 
[ ]coq_8.9.1-2.debian.t..>2019-11-09 07:28 29K 
[TXT]coq_8.9.1-2.dsc 2019-11-09 07:28 2.1K 
[ ]coq_8.9.1-2_amd64.deb 2019-11-09 07:43 56M 
[ ]coq_8.9.1-2_i386.deb 2019-11-09 07:43 54M 
[ ]coq_8.9.1-3.debian.t..>2020-01-25 13:13 30K 
[TXT]coq_8.9.1-3.dsc 2020-01-25 13:13 2.4K 
[ ]coq_8.9.1-4.debian.t..>2020-01-27 19:28 31K 
[TXT]coq_8.9.1-4.dsc 2020-01-27 19:28 2.4K 
[ ]coq_8.9.1-5.debian.t..>2020-01-29 19:28 31K 
[TXT]coq_8.9.1-5.dsc 2020-01-29 19:28 2.4K 
[ ]coq_8.9.1-5build1.de..>2020-02-22 07:38 31K 
[TXT]coq_8.9.1-5build1.dsc 2020-02-22 07:38 2.5K 
[ ]coq_8.9.1-5ubuntu1.d..>2020-02-25 01:23 31K 
[TXT]coq_8.9.1-5ubuntu1.dsc 2020-02-25 01:23 2.5K 
[ ]coq_8.9.1-5ubuntu1_a..>2020-02-25 02:03 67M 
[ ]coq_8.9.1.orig.tar.gz 2019-08-20 19:13 5.1M 
[ ]coq_8.11.0-1.debian...>2020-03-06 15:53 31K 
[TXT]coq_8.11.0-1.dsc 2020-03-06 15:53 2.4K 
[ ]coq_8.11.0-1_amd64.deb 2020-03-06 16:38 73M 
[ ]coq_8.11.0-1build1.d..>2020-05-13 19:55 31K 
[TXT]coq_8.11.0-1build1.dsc 2020-05-13 19:55 2.5K 
[ ]coq_8.11.0-1build1_a..>2020-05-13 21:08 73M 
[ ]coq_8.11.0.orig.tar.gz 2020-03-06 15:53 5.6M 
[ ]coq_8.12.0-3.debian...>2020-09-15 16:23 37K 
[TXT]coq_8.12.0-3.dsc 2020-09-15 16:23 2.4K 
[ ]coq_8.12.0-3_amd64.deb 2020-09-15 16:58 75M 
[ ]coq_8.12.0-3build1.d..>2020-10-04 08:48 37K 
[TXT]coq_8.12.0-3build1.dsc 2020-10-04 08:48 2.4K 
[ ]coq_8.12.0-3build1_a..>2020-10-04 09:38 75M 
[ ]coq_8.12.0-3build2.d..>2020-11-03 03:48 37K 
[TXT]coq_8.12.0-3build2.dsc 2020-11-03 03:48 2.5K 
[ ]coq_8.12.0-3build2_a..>2020-11-04 00:43 86M 
[ ]coq_8.12.0-3build3.d..>2020-11-28 17:28 37K 
[TXT]coq_8.12.0-3build3.dsc 2020-11-28 17:28 2.4K 
[ ]coq_8.12.0-3build3_a..>2020-11-28 18:13 86M 
[ ]coq_8.12.0.orig.tar.gz 2020-09-15 16:23 5.7M 
[ ]coq_8.14.0+dfsg-3.de..>2021-11-14 01:23 39K 
[TXT]coq_8.14.0+dfsg-3.dsc 2021-11-14 01:23 2.5K 
[ ]coq_8.14.0+dfsg-3_am..>2021-11-14 01:53 89M 
[ ]coq_8.14.0+dfsg-4.de..>2021-11-15 19:19 39K 
[TXT]coq_8.14.0+dfsg-4.dsc 2021-11-15 19:19 3.0K 
[ ]coq_8.14.0+dfsg-4_am..>2021-11-15 19:54 88M 
[ ]coq_8.14.0+dfsg-6.de..>2021-11-16 19:49 39K 
[TXT]coq_8.14.0+dfsg-6.dsc 2021-11-16 19:49 2.9K 
[ ]coq_8.14.0+dfsg-6_am..>2021-11-16 19:50 88M 
[ ]coq_8.14.0+dfsg.orig..>2021-11-14 01:23 4.4M 
[ ]coq_8.14.1+dfsg-1.de..>2021-12-12 01:19 39K 
[TXT]coq_8.14.1+dfsg-1.dsc 2021-12-12 01:19 2.9K 
[ ]coq_8.14.1+dfsg-1_am..>2021-12-12 01:39 89M 
[ ]coq_8.14.1+dfsg-2.de..>2022-01-18 01:19 39K 
[TXT]coq_8.14.1+dfsg-2.dsc 2022-01-18 01:19 2.5K 
[ ]coq_8.14.1+dfsg-2_am..>2022-01-18 02:04 88M 
[ ]coq_8.14.1+dfsg.orig..>2021-12-12 01:19 4.4M 
[ ]coq_8.15.0+dfsg-1.de..>2022-01-18 07:14 39K 
[TXT]coq_8.15.0+dfsg-1.dsc 2022-01-18 07:14 2.5K 
[ ]coq_8.15.0+dfsg-1_am..>2022-01-18 07:54 89M 
[ ]coq_8.15.0+dfsg-1bui..>2022-01-25 23:14 39K 
[TXT]coq_8.15.0+dfsg-1bui..>2022-01-25 23:14 2.6K 
[ ]coq_8.15.0+dfsg-1bui..>2022-01-25 23:34 91M 
[ ]coq_8.15.0+dfsg-2.de..>2022-02-06 01:49 39K 
[TXT]coq_8.15.0+dfsg-2.dsc 2022-02-06 01:49 2.5K 
[ ]coq_8.15.0+dfsg-2_am..>2022-02-06 07:52 91M 
[ ]coq_8.15.0+dfsg.orig..>2022-01-18 07:14 4.5M 
[ ]coq_8.15.1+dfsg-1.de..>2022-04-30 09:36 39K 
[TXT]coq_8.15.1+dfsg-1.dsc 2022-04-30 09:36 2.5K 
[ ]coq_8.15.1+dfsg-1_am..>2022-04-30 13:32 91M 
[ ]coq_8.15.1+dfsg-1bui..>2022-05-02 17:09 39K 
[TXT]coq_8.15.1+dfsg-1bui..>2022-05-02 17:09 2.5K 
[ ]coq_8.15.1+dfsg-1bui..>2022-05-02 17:29 91M 
[ ]coq_8.15.1+dfsg-2.de..>2022-05-21 07:34 39K 
[TXT]coq_8.15.1+dfsg-2.dsc 2022-05-21 07:34 2.5K 
[ ]coq_8.15.1+dfsg-2_am..>2022-05-21 07:54 90M 
[ ]coq_8.15.1+dfsg.orig..>2022-04-30 09:36 4.5M 
[ ]coq_8.15.2+dfsg-1.de..>2022-06-01 13:23 39K 
[TXT]coq_8.15.2+dfsg-1.dsc 2022-06-01 13:23 2.5K 
[ ]coq_8.15.2+dfsg-1_am..>2022-06-01 15:39 91M 
[ ]coq_8.15.2+dfsg-2.de..>2022-06-12 13:34 39K 
[TXT]coq_8.15.2+dfsg-2.dsc 2022-06-12 13:34 2.5K 
[ ]coq_8.15.2+dfsg-2_am..>2022-06-12 13:34 90M 
[ ]coq_8.15.2+dfsg.orig..>2022-06-01 13:23 4.5M 
[ ]coq_8.16.0+dfsg-1.de..>2022-11-06 11:17 33K 
[TXT]coq_8.16.0+dfsg-1.dsc 2022-11-06 11:17 2.6K 
[ ]coq_8.16.0+dfsg-1_am..>2022-11-06 11:22 104M 
[ ]coq_8.16.0+dfsg-1bui..>2022-11-25 14:44 33K 
[TXT]coq_8.16.0+dfsg-1bui..>2022-11-25 14:44 2.6K 
[ ]coq_8.16.0+dfsg-1bui..>2022-11-25 15:39 104M 
[ ]coq_8.16.0+dfsg.orig..>2022-11-06 11:17 4.5M 
[ ]coq_8.16.1+dfsg-1.de..>2022-11-30 01:24 32K 
[TXT]coq_8.16.1+dfsg-1.dsc 2022-11-30 01:24 2.6K 
[ ]coq_8.16.1+dfsg-1_am..>2022-11-30 01:49 104M 
[ ]coq_8.16.1+dfsg-1bui..>2023-01-26 16:29 33K 
[TXT]coq_8.16.1+dfsg-1bui..>2023-01-26 16:29 2.6K 
[ ]coq_8.16.1+dfsg-1bui..>2023-01-26 16:54 104M 
[ ]coq_8.16.1+dfsg-1bui..>2023-02-16 18:06 33K 
[TXT]coq_8.16.1+dfsg-1bui..>2023-02-16 18:06 2.6K 
[ ]coq_8.16.1+dfsg-1bui..>2023-02-16 18:58 104M 
[ ]coq_8.16.1+dfsg.orig..>2022-11-30 01:24 4.5M 
[ ]coq_8.17.0+dfsg-1.de..>2023-06-13 02:01 32K 
[TXT]coq_8.17.0+dfsg-1.dsc 2023-06-13 02:01 2.6K 
[ ]coq_8.17.0+dfsg-1_am..>2023-06-13 02:47 88M 
[ ]coq_8.17.0+dfsg-1bui..>2023-07-25 01:37 32K 
[TXT]coq_8.17.0+dfsg-1bui..>2023-07-25 01:37 2.6K 
[ ]coq_8.17.0+dfsg-1bui..>2023-07-25 01:37 89M 
[ ]coq_8.17.0+dfsg-1bui..>2023-11-05 16:00 32K 
[TXT]coq_8.17.0+dfsg-1bui..>2023-11-05 16:00 2.6K 
[ ]coq_8.17.0+dfsg-1bui..>2023-11-06 03:14 90M 
[ ]coq_8.17.0+dfsg-1bui..>2023-11-15 16:35 32K 
[TXT]coq_8.17.0+dfsg-1bui..>2023-11-15 16:35 2.6K 
[ ]coq_8.17.0+dfsg-1bui..>2023-11-15 19:41 90M 
[ ]coq_8.17.0+dfsg-1bui..>2023-11-22 20:09 32K 
[TXT]coq_8.17.0+dfsg-1bui..>2023-11-22 20:09 2.6K 
[ ]coq_8.17.0+dfsg-1ubu..>2023-11-23 01:34 33K 
[TXT]coq_8.17.0+dfsg-1ubu..>2023-11-23 01:34 2.6K 
[ ]coq_8.17.0+dfsg-1ubu..>2023-11-23 02:11 90M 
[ ]coq_8.17.0+dfsg.orig..>2023-06-13 02:01 4.6M 
[ ]coq_8.18.0+dfsg-1.de..>2023-12-23 03:46 32K 
[TXT]coq_8.18.0+dfsg-1.dsc 2023-12-23 03:46 2.5K 
[ ]coq_8.18.0+dfsg-1_am..>2023-12-23 03:47 114M 
[ ]coq_8.18.0+dfsg-1bui..>2024-03-08 12:42 33K 
[TXT]coq_8.18.0+dfsg-1bui..>2024-03-08 12:42 2.6K 
[ ]coq_8.18.0+dfsg-1bui..>2024-03-08 12:43 92M 
[ ]coq_8.18.0+dfsg-1bui..>2024-04-01 02:36 33K 
[TXT]coq_8.18.0+dfsg-1bui..>2024-04-01 02:36 2.6K 
[ ]coq_8.18.0+dfsg-1bui..>2024-04-01 03:32 91M 
[ ]coq_8.18.0+dfsg.orig..>2023-12-23 03:46 4.6M 
[ ]coq_8.19.1+dfsg-1.de..>2024-05-02 19:53 32K 
[TXT]coq_8.19.1+dfsg-1.dsc 2024-05-02 19:53 2.5K 
[ ]coq_8.19.1+dfsg-1_am..>2024-05-02 19:53 92M 
[ ]coq_8.19.1+dfsg.orig..>2024-05-02 19:53 5.3M 
[ ]coqide_8.2.pl1+dfsg-..>2010-02-28 01:04 6.2M 
[ ]coqide_8.2.pl1+dfsg-..>2010-02-28 01:04 5.7M 
[ ]coqide_8.3.pl4+dfsg-..>2012-04-03 19:34 5.2M 
[ ]coqide_8.3.pl4+dfsg-..>2012-04-03 19:04 4.9M 
[ ]coqide_8.3.pl4+dfsg-..>2012-06-09 05:03 5.2M 
[ ]coqide_8.3.pl4+dfsg-..>2012-06-09 02:04 4.9M 
[ ]coqide_8.4pl2dfsg-1_..>2013-05-09 08:03 1.0M 
[ ]coqide_8.4pl2dfsg-1_..>2013-05-09 08:03 766K 
[ ]coqide_8.4pl3dfsg-1_..>2014-01-20 07:58 727K 
[ ]coqide_8.4pl3dfsg-1_..>2014-01-20 07:58 662K 
[ ]coqide_8.4pl4dfsg-1_..>2014-07-28 07:53 726K 
[ ]coqide_8.4pl4dfsg-1_..>2014-07-28 07:53 662K 
[ ]coqide_8.4pl4dfsg-3_..>2015-10-24 08:54 728K 
[ ]coqide_8.4pl4dfsg-3_..>2015-10-24 09:10 670K 
[ ]coqide_8.4pl4dfsg-3b..>2015-10-29 01:56 733K 
[ ]coqide_8.4pl4dfsg-3b..>2015-10-29 01:56 678K 
[ ]coqide_8.4pl4dfsg-3b..>2015-11-04 22:04 731K 
[ ]coqide_8.4pl4dfsg-3b..>2015-11-04 21:39 695K 
[ ]coqide_8.5-1_amd64.deb 2016-01-27 07:59 1.0M 
[ ]coqide_8.5-1_i386.deb 2016-01-27 07:59 1.0M 
[ ]coqide_8.5-2_amd64.deb 2016-01-29 14:19 1.0M 
[ ]coqide_8.5-2_i386.deb 2016-01-29 14:20 1.0M 
[ ]coqide_8.5-2build1_a..>2016-06-12 00:14 1.2M 
[ ]coqide_8.5-2build1_i..>2016-06-12 00:15 1.0M 
[ ]coqide_8.6-1_amd64.deb 2016-12-29 01:53 1.3M 
[ ]coqide_8.6-1_i386.deb 2016-12-29 01:48 1.1M 
[ ]coqide_8.6-2_amd64.deb 2016-12-29 14:13 1.3M 
[ ]coqide_8.6-2_i386.deb 2016-12-29 14:13 1.1M 
[ ]coqide_8.6-3_amd64.deb 2016-12-30 02:23 1.3M 
[ ]coqide_8.6-3_i386.deb 2016-12-30 02:24 1.1M 
[ ]coqide_8.6-4_amd64.deb 2016-12-30 14:03 1.3M 
[ ]coqide_8.6-4_i386.deb 2016-12-30 14:03 1.1M 
[ ]coqide_8.6-4build1_a..>2017-07-01 00:23 1.4M 
[ ]coqide_8.6-4build1_i..>2017-07-01 00:08 1.3M 
[ ]coqide_8.6-4build2_a..>2017-07-17 03:13 1.4M 
[ ]coqide_8.6-4build2_i..>2017-07-17 03:13 1.3M 
[ ]coqide_8.6-4build3_a..>2017-07-27 18:03 1.4M 
[ ]coqide_8.6-4build3_i..>2017-07-27 17:34 1.3M 
[ ]coqide_8.6-5build1_a..>2017-10-28 23:34 1.5M 
[ ]coqide_8.6-5build1_i..>2017-10-28 23:34 1.3M 
[ ]coqide_8.9.1-5ubuntu..>2020-02-25 02:03 1.7M 
[ ]coqide_8.11.0-1_amd6..>2020-03-06 16:38 1.7M 
[ ]coqide_8.11.0-1build..>2020-05-13 21:08 1.6M 
[ ]coqide_8.12.0-3_amd6..>2020-09-15 16:58 1.6M 
[ ]coqide_8.12.0-3build..>2020-10-04 09:38 1.7M 
[ ]coqide_8.12.0-3build..>2020-11-04 00:43 1.8M 
[ ]coqide_8.12.0-3build..>2020-11-28 18:13 1.8M 
[ ]coqide_8.14.0+dfsg-3..>2021-11-14 01:53 2.2M 
[ ]coqide_8.14.0+dfsg-4..>2021-11-15 19:54 2.2M 
[ ]coqide_8.14.0+dfsg-6..>2021-11-16 19:50 2.2M 
[ ]coqide_8.14.1+dfsg-1..>2021-12-12 01:39 2.2M 
[ ]coqide_8.14.1+dfsg-2..>2022-01-18 02:04 2.2M 
[ ]coqide_8.15.0+dfsg-1..>2022-01-18 07:54 2.2M 
[ ]coqide_8.15.0+dfsg-1..>2022-01-25 23:34 2.3M 
[ ]coqide_8.15.0+dfsg-2..>2022-02-06 07:51 2.3M 
[ ]coqide_8.15.1+dfsg-1..>2022-04-30 13:32 2.2M 
[ ]coqide_8.15.1+dfsg-1..>2022-05-02 17:29 2.2M 
[ ]coqide_8.15.1+dfsg-2..>2022-05-21 07:54 2.2M 
[ ]coqide_8.15.2+dfsg-1..>2022-06-01 15:39 2.2M 
[ ]coqide_8.15.2+dfsg-2..>2022-06-12 13:34 2.2M 
[ ]coqide_8.16.0+dfsg-1..>2022-11-06 11:22 2.2M 
[ ]coqide_8.16.0+dfsg-1..>2022-11-25 15:39 2.2M 
[ ]coqide_8.16.1+dfsg-1..>2022-11-30 01:49 2.2M 
[ ]coqide_8.16.1+dfsg-1..>2023-01-26 16:54 2.2M 
[ ]coqide_8.16.1+dfsg-1..>2023-02-16 18:58 2.2M 
[ ]coqide_8.17.0+dfsg-1..>2023-06-13 02:47 2.2M 
[ ]coqide_8.17.0+dfsg-1..>2023-07-25 01:37 2.2M 
[ ]coqide_8.17.0+dfsg-1..>2023-11-06 03:14 2.2M 
[ ]coqide_8.17.0+dfsg-1..>2023-11-15 19:41 2.2M 
[ ]coqide_8.17.0+dfsg-1..>2023-11-23 02:11 2.2M 
[ ]coqide_8.18.0+dfsg-1..>2023-12-23 03:47 2.7M 
[ ]coqide_8.18.0+dfsg-1..>2024-03-08 12:43 2.2M 
[ ]coqide_8.18.0+dfsg-1..>2024-04-01 03:32 2.2M 
[ ]coqide_8.19.1+dfsg-1..>2024-05-02 19:53 2.2M 
[ ]libcoq-core-ocaml-de..>2022-02-06 07:51 43M 
[ ]libcoq-core-ocaml-de..>2022-04-30 13:32 43M 
[ ]libcoq-core-ocaml-de..>2022-05-02 17:29 43M 
[ ]libcoq-core-ocaml-de..>2022-05-21 07:54 47M 
[ ]libcoq-core-ocaml-de..>2022-06-01 15:39 47M 
[ ]libcoq-core-ocaml-de..>2022-06-12 13:34 47M 
[ ]libcoq-core-ocaml-de..>2022-11-06 11:22 47M 
[ ]libcoq-core-ocaml-de..>2022-11-25 15:39 47M 
[ ]libcoq-core-ocaml-de..>2022-11-30 01:49 47M 
[ ]libcoq-core-ocaml-de..>2023-01-26 16:54 47M 
[ ]libcoq-core-ocaml-de..>2023-02-16 18:58 47M 
[ ]libcoq-core-ocaml-de..>2023-06-13 02:47 48M 
[ ]libcoq-core-ocaml-de..>2023-07-25 01:37 48M 
[ ]libcoq-core-ocaml-de..>2023-11-06 03:14 48M 
[ ]libcoq-core-ocaml-de..>2023-11-15 19:41 48M 
[ ]libcoq-core-ocaml-de..>2023-11-23 02:11 48M 
[ ]libcoq-core-ocaml-de..>2023-12-23 03:47 62M 
[ ]libcoq-core-ocaml-de..>2024-03-08 12:43 49M 
[ ]libcoq-core-ocaml-de..>2024-04-01 03:32 49M 
[ ]libcoq-core-ocaml-de..>2024-05-02 19:53 50M 
[ ]libcoq-core-ocaml_8...>2022-02-06 07:51 26M 
[ ]libcoq-core-ocaml_8...>2022-04-30 13:32 26M 
[ ]libcoq-core-ocaml_8...>2022-05-02 17:29 26M 
[ ]libcoq-core-ocaml_8...>2022-05-21 07:54 26M 
[ ]libcoq-core-ocaml_8...>2022-06-01 15:39 26M 
[ ]libcoq-core-ocaml_8...>2022-06-12 13:34 26M 
[ ]libcoq-core-ocaml_8...>2022-11-06 11:22 26M 
[ ]libcoq-core-ocaml_8...>2022-11-25 15:39 26M 
[ ]libcoq-core-ocaml_8...>2022-11-30 01:49 26M 
[ ]libcoq-core-ocaml_8...>2023-01-26 16:54 26M 
[ ]libcoq-core-ocaml_8...>2023-02-16 18:58 26M 
[ ]libcoq-core-ocaml_8...>2023-06-13 02:47 26M 
[ ]libcoq-core-ocaml_8...>2023-07-25 01:37 26M 
[ ]libcoq-core-ocaml_8...>2023-11-06 03:14 26M 
[ ]libcoq-core-ocaml_8...>2023-11-15 19:41 26M 
[ ]libcoq-core-ocaml_8...>2023-11-23 02:11 26M 
[ ]libcoq-core-ocaml_8...>2023-12-23 03:47 33M 
[ ]libcoq-core-ocaml_8...>2024-03-08 12:43 26M 
[ ]libcoq-core-ocaml_8...>2024-04-01 03:32 26M 
[ ]libcoq-core-ocaml_8...>2024-05-02 19:53 27M 
[ ]libcoq-ocaml-dev_8.2..>2010-02-28 01:04 5.8M 
[ ]libcoq-ocaml-dev_8.2..>2010-02-28 01:04 5.6M 
[ ]libcoq-ocaml-dev_8.3..>2012-04-03 19:34 5.6M 
[ ]libcoq-ocaml-dev_8.3..>2012-04-03 19:04 5.5M 
[ ]libcoq-ocaml-dev_8.3..>2012-06-09 05:03 5.6M 
[ ]libcoq-ocaml-dev_8.3..>2012-06-09 02:04 5.5M 
[ ]libcoq-ocaml-dev_8.4..>2013-05-09 08:03 5.5M 
[ ]libcoq-ocaml-dev_8.4..>2013-05-09 08:03 5.3M 
[ ]libcoq-ocaml-dev_8.4..>2014-01-20 07:58 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2014-01-20 07:58 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2014-07-28 07:53 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2014-07-28 07:53 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-10-24 08:54 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-10-24 09:10 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-10-29 01:56 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-10-29 01:56 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-11-04 22:04 3.5M 
[ ]libcoq-ocaml-dev_8.4..>2015-11-04 21:39 3.6M 
[ ]libcoq-ocaml-dev_8.5..>2016-01-27 07:59 13M 
[ ]libcoq-ocaml-dev_8.5..>2016-01-27 07:59 13M 
[ ]libcoq-ocaml-dev_8.5..>2016-01-29 14:19 13M 
[ ]libcoq-ocaml-dev_8.5..>2016-01-29 14:20 13M 
[ ]libcoq-ocaml-dev_8.5..>2016-06-12 00:14 13M 
[ ]libcoq-ocaml-dev_8.5..>2016-06-12 00:15 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-29 01:53 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-29 01:48 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-29 14:13 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-29 14:13 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-30 02:23 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-30 02:24 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-30 14:03 13M 
[ ]libcoq-ocaml-dev_8.6..>2016-12-30 14:03 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-01 00:23 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-01 00:08 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-17 03:13 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-17 03:13 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-27 18:03 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-07-27 17:34 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-10-28 23:34 13M 
[ ]libcoq-ocaml-dev_8.6..>2017-10-28 23:34 13M 
[ ]libcoq-ocaml-dev_8.8..>2019-01-07 22:48 12M 
[ ]libcoq-ocaml-dev_8.8..>2019-01-07 19:58 12M 
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 16:08 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 16:08 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-07-27 05:13 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-07-27 05:13 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-08-05 18:58 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-08-05 18:58 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-08-20 19:33 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-08-20 19:43 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-11-09 07:43 13M 
[ ]libcoq-ocaml-dev_8.9..>2019-11-09 07:43 13M 
[ ]libcoq-ocaml-dev_8.9..>2020-02-25 02:03 14M 
[ ]libcoq-ocaml-dev_8.1..>2020-03-06 16:38 15M 
[ ]libcoq-ocaml-dev_8.1..>2020-05-13 21:08 15M 
[ ]libcoq-ocaml-dev_8.1..>2020-09-15 16:58 16M 
[ ]libcoq-ocaml-dev_8.1..>2020-10-04 09:38 16M 
[ ]libcoq-ocaml-dev_8.1..>2020-11-04 00:43 18M 
[ ]libcoq-ocaml-dev_8.1..>2020-11-28 18:13 18M 
[ ]libcoq-ocaml-dev_8.1..>2021-11-14 01:53 47M 
[ ]libcoq-ocaml-dev_8.1..>2021-11-15 19:54 43M 
[ ]libcoq-ocaml-dev_8.1..>2021-11-16 19:50 43M 
[ ]libcoq-ocaml-dev_8.1..>2021-12-12 01:39 43M 
[ ]libcoq-ocaml-dev_8.1..>2022-01-18 02:04 43M 
[ ]libcoq-ocaml-dev_8.1..>2022-01-18 07:54 43M 
[ ]libcoq-ocaml-dev_8.1..>2022-01-25 23:34 43M 
[ ]libcoq-ocaml_8.3.pl4..>2012-04-03 19:34 1.9M 
[ ]libcoq-ocaml_8.3.pl4..>2012-04-03 19:04 1.7M 
[ ]libcoq-ocaml_8.3.pl4..>2012-06-09 05:03 1.9M 
[ ]libcoq-ocaml_8.3.pl4..>2012-06-09 02:04 1.7M 
[ ]libcoq-ocaml_8.4pl2d..>2013-05-09 08:03 2.1M 
[ ]libcoq-ocaml_8.4pl2d..>2013-05-09 08:03 1.8M 
[ ]libcoq-ocaml_8.4pl3d..>2014-01-20 07:58 1.5M 
[ ]libcoq-ocaml_8.4pl3d..>2014-01-20 07:58 1.4M 
[ ]libcoq-ocaml_8.4pl4d..>2014-07-28 07:53 1.5M 
[ ]libcoq-ocaml_8.4pl4d..>2014-07-28 07:53 1.4M 
[ ]libcoq-ocaml_8.4pl4d..>2015-10-24 08:54 1.5M 
[ ]libcoq-ocaml_8.4pl4d..>2015-10-24 09:10 1.4M 
[ ]libcoq-ocaml_8.4pl4d..>2015-10-29 01:56 1.5M 
[ ]libcoq-ocaml_8.4pl4d..>2015-10-29 01:56 1.4M 
[ ]libcoq-ocaml_8.4pl4d..>2015-11-04 22:04 1.4M 
[ ]libcoq-ocaml_8.4pl4d..>2015-11-04 21:39 1.3M 
[ ]libcoq-ocaml_8.5-1_a..>2016-01-27 07:59 3.2M 
[ ]libcoq-ocaml_8.5-1_i..>2016-01-27 07:59 3.1M 
[ ]libcoq-ocaml_8.5-2_a..>2016-01-29 14:19 3.2M 
[ ]libcoq-ocaml_8.5-2_i..>2016-01-29 14:20 3.1M 
[ ]libcoq-ocaml_8.5-2bu..>2016-06-12 00:14 3.2M 
[ ]libcoq-ocaml_8.5-2bu..>2016-06-12 00:15 3.1M 
[ ]libcoq-ocaml_8.6-1_a..>2016-12-29 01:53 3.3M 
[ ]libcoq-ocaml_8.6-1_i..>2016-12-29 01:48 3.2M 
[ ]libcoq-ocaml_8.6-2_a..>2016-12-29 14:13 3.3M 
[ ]libcoq-ocaml_8.6-2_i..>2016-12-29 14:13 3.2M 
[ ]libcoq-ocaml_8.6-3_a..>2016-12-30 02:23 3.3M 
[ ]libcoq-ocaml_8.6-3_i..>2016-12-30 02:24 3.2M 
[ ]libcoq-ocaml_8.6-4_a..>2016-12-30 14:03 3.3M 
[ ]libcoq-ocaml_8.6-4_i..>2016-12-30 14:03 3.2M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-01 00:23 3.4M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-01 00:08 3.2M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-17 03:13 3.4M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-17 03:13 3.2M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-27 18:03 3.4M 
[ ]libcoq-ocaml_8.6-4bu..>2017-07-27 17:34 3.2M 
[ ]libcoq-ocaml_8.6-5bu..>2017-10-28 23:34 3.4M 
[ ]libcoq-ocaml_8.6-5bu..>2017-10-28 23:34 3.2M 
[ ]libcoq-ocaml_8.8.2-1..>2019-01-07 22:48 4.3M 
[ ]libcoq-ocaml_8.8.2-1..>2019-01-07 19:58 4.1M 
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 16:08 5.1M 
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 16:08 4.9M 
[ ]libcoq-ocaml_8.9.0-1..>2019-07-27 05:13 5.2M 
[ ]libcoq-ocaml_8.9.0-1..>2019-07-27 05:13 4.9M 
[ ]libcoq-ocaml_8.9.0-1..>2019-08-05 18:58 5.2M 
[ ]libcoq-ocaml_8.9.0-1..>2019-08-05 18:58 4.9M 
[ ]libcoq-ocaml_8.9.1-1..>2019-08-20 19:33 5.2M 
[ ]libcoq-ocaml_8.9.1-1..>2019-08-20 19:43 4.9M 
[ ]libcoq-ocaml_8.9.1-2..>2019-11-09 07:43 5.2M 
[ ]libcoq-ocaml_8.9.1-2..>2019-11-09 07:43 4.9M 
[ ]libcoq-ocaml_8.9.1-5..>2020-02-25 02:03 5.3M 
[ ]libcoq-ocaml_8.11.0-..>2020-03-06 16:38 6.0M 
[ ]libcoq-ocaml_8.11.0-..>2020-05-13 21:08 6.0M 
[ ]libcoq-ocaml_8.12.0-..>2020-09-15 16:58 6.4M 
[ ]libcoq-ocaml_8.12.0-..>2020-10-04 09:38 6.4M 
[ ]libcoq-ocaml_8.12.0-..>2020-11-04 00:43 7.4M 
[ ]libcoq-ocaml_8.12.0-..>2020-11-28 18:13 7.4M 
[ ]libcoq-ocaml_8.14.0+..>2021-11-14 01:53 25M 
[ ]libcoq-ocaml_8.14.0+..>2021-11-15 19:54 25M 
[ ]libcoq-ocaml_8.14.0+..>2021-11-16 19:50 25M 
[ ]libcoq-ocaml_8.14.1+..>2021-12-12 01:39 25M 
[ ]libcoq-ocaml_8.14.1+..>2022-01-18 02:04 25M 
[ ]libcoq-ocaml_8.15.0+..>2022-01-18 07:54 26M 
[ ]libcoq-ocaml_8.15.0+..>2022-01-25 23:34 26M 
[ ]libcoq-stdlib_8.15.0..>2022-02-06 07:51 24M 
[ ]libcoq-stdlib_8.15.1..>2022-04-30 13:32 23M 
[ ]libcoq-stdlib_8.15.1..>2022-05-02 17:29 23M 
[ ]libcoq-stdlib_8.15.1..>2022-05-21 07:54 23M 
[ ]libcoq-stdlib_8.15.2..>2022-06-01 15:39 23M 
[ ]libcoq-stdlib_8.15.2..>2022-06-12 13:34 23M 
[ ]libcoq-stdlib_8.16.0..>2022-11-06 11:22 23M 
[ ]libcoq-stdlib_8.16.0..>2022-11-25 15:39 23M 
[ ]libcoq-stdlib_8.16.1..>2022-11-30 01:49 23M 
[ ]libcoq-stdlib_8.16.1..>2023-01-26 16:54 23M 
[ ]libcoq-stdlib_8.16.1..>2023-02-16 18:58 23M 
[ ]libcoq-stdlib_8.17.0..>2023-06-13 02:47 27M 
[ ]libcoq-stdlib_8.17.0..>2023-07-25 01:37 27M 
[ ]libcoq-stdlib_8.17.0..>2023-11-06 03:14 27M 
[ ]libcoq-stdlib_8.17.0..>2023-11-15 19:41 27M 
[ ]libcoq-stdlib_8.17.0..>2023-11-23 02:11 27M 
[ ]libcoq-stdlib_8.18.0..>2023-12-23 03:47 34M 
[ ]libcoq-stdlib_8.18.0..>2024-03-08 12:43 25M 
[ ]libcoq-stdlib_8.18.0..>2024-04-01 03:32 25M 
[ ]libcoq-stdlib_8.19.1..>2024-05-02 19:53 26M