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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.4pl4dfsg-1_all.deb2014-07-27 11:26 31M 
[ ]coq-theories_8.6-4_amd64.deb2016-12-29 19:56 30M 
[ ]coq-theories_8.6-4_arm64.deb2016-12-29 20:57 22M 
[ ]coq-theories_8.6-4_armel.deb2016-12-29 22:12 22M 
[ ]coq-theories_8.6-4_armhf.deb2016-12-29 22:12 22M 
[ ]coq-theories_8.6-4_i386.deb2016-12-29 20:57 29M 
[ ]coq-theories_8.6-4_mips.deb2016-12-30 02:57 22M 
[ ]coq-theories_8.6-4_mips64el.deb2016-12-30 09:29 22M 
[ ]coq-theories_8.6-4_mipsel.deb2016-12-30 02:57 22M 
[ ]coq-theories_8.6-4_ppc64el.deb2016-12-29 22:57 22M 
[ ]coq-theories_8.6-4_s390x.deb2016-12-30 00:27 22M 
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-06 13:49 28M 
[ ]coq-theories_8.9.0-1_arm64.deb2019-02-06 15:26 19M 
[ ]coq-theories_8.9.0-1_armel.deb2019-02-06 20:44 19M 
[ ]coq-theories_8.9.0-1_armhf.deb2019-02-07 16:15 19M 
[ ]coq-theories_8.9.0-1_i386.deb2019-02-06 15:21 27M 
[ ]coq-theories_8.9.0-1_mips.deb2019-02-06 22:15 19M 
[ ]coq-theories_8.9.0-1_mips64el.deb2019-02-09 03:29 19M 
[ ]coq-theories_8.9.0-1_mipsel.deb2019-02-06 19:59 19M 
[ ]coq-theories_8.9.0-1_ppc64el.deb2019-02-06 15:00 19M 
[ ]coq-theories_8.9.0-1_s390x.deb2019-02-06 15:00 19M 
[ ]coq-theories_8.12.0-3+b3_amd64.deb2020-11-25 02:28 35M 
[ ]coq-theories_8.12.0-3+b3_arm64.deb2020-11-25 02:58 23M 
[ ]coq-theories_8.12.0-3+b3_armel.deb2020-11-25 12:44 23M 
[ ]coq-theories_8.12.0-3+b3_armhf.deb2020-11-25 02:43 23M 
[ ]coq-theories_8.12.0-3+b3_i386.deb2020-11-25 02:18 34M 
[ ]coq-theories_8.12.0-3+b3_mips64el.deb2020-11-25 11:41 23M 
[ ]coq-theories_8.12.0-3+b3_mipsel.deb2020-11-25 19:43 23M 
[ ]coq-theories_8.12.0-3+b3_ppc64el.deb2020-11-25 02:28 23M 
[ ]coq-theories_8.15.0+dfsg-1+b1_amd64.deb2022-01-20 18:58 20M 
[ ]coq-theories_8.15.0+dfsg-1+b1_arm64.deb2022-01-20 19:14 20M 
[ ]coq-theories_8.15.0+dfsg-1+b1_armhf.deb2022-01-20 20:15 20M 
[ ]coq-theories_8.15.0+dfsg-1+b1_i386.deb2022-01-20 18:48 20M 
[ ]coq-theories_8.15.0+dfsg-1+b1_ppc64el.deb2022-01-20 19:40 20M 
[ ]coq-theories_8.15.0+dfsg-1+b1_s390x.deb2022-01-20 18:58 20M 
[ ]coq_8.4pl4dfsg-1.debian.tar.xz2014-07-27 11:26 15K 
[TXT]coq_8.4pl4dfsg-1.dsc2014-07-27 11:26 2.3K 
[ ]coq_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 3.9M 
[ ]coq_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 3.7M 
[ ]coq_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 3.7M 
[ ]coq_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 3.6M 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-27 11:26 3.4M 
[ ]coq_8.6-4.debian.tar.xz2016-12-29 19:56 21K 
[TXT]coq_8.6-4.dsc2016-12-29 19:56 2.3K 
[ ]coq_8.6-4_amd64.deb2016-12-29 19:56 13M 
[ ]coq_8.6-4_arm64.deb2016-12-29 20:57 13M 
[ ]coq_8.6-4_armel.deb2016-12-29 22:12 13M 
[ ]coq_8.6-4_armhf.deb2016-12-29 22:12 13M 
[ ]coq_8.6-4_i386.deb2016-12-29 20:57 13M 
[ ]coq_8.6-4_mips.deb2016-12-30 02:57 18M 
[ ]coq_8.6-4_mips64el.deb2016-12-30 09:29 18M 
[ ]coq_8.6-4_mipsel.deb2016-12-30 02:57 18M 
[ ]coq_8.6-4_ppc64el.deb2016-12-29 22:57 18M 
[ ]coq_8.6-4_s390x.deb2016-12-30 00:27 18M 
[ ]coq_8.6.orig.tar.gz2016-12-28 08:44 4.8M 
[ ]coq_8.9.0-1.debian.tar.xz2019-02-06 13:49 27K 
[TXT]coq_8.9.0-1.dsc2019-02-06 13:49 2.4K 
[ ]coq_8.9.0-1_amd64.deb2019-02-06 13:49 56M 
[ ]coq_8.9.0-1_arm64.deb2019-02-06 15:26 60M 
[ ]coq_8.9.0-1_armel.deb2019-02-06 20:44 48M 
[ ]coq_8.9.0-1_armhf.deb2019-02-07 16:15 55M 
[ ]coq_8.9.0-1_i386.deb2019-02-06 15:21 54M 
[ ]coq_8.9.0-1_mips.deb2019-02-06 22:15 48M 
[ ]coq_8.9.0-1_mips64el.deb2019-02-09 03:29 48M 
[ ]coq_8.9.0-1_mipsel.deb2019-02-06 19:59 48M 
[ ]coq_8.9.0-1_ppc64el.deb2019-02-06 15:00 58M 
[ ]coq_8.9.0-1_s390x.deb2019-02-06 15:00 56M 
[ ]coq_8.9.0.orig.tar.gz2019-02-06 13:49 5.1M 
[ ]coq_8.12.0-3+b3_amd64.deb2020-11-25 02:28 86M 
[ ]coq_8.12.0-3+b3_arm64.deb2020-11-25 02:58 92M 
[ ]coq_8.12.0-3+b3_armel.deb2020-11-25 12:44 101M 
[ ]coq_8.12.0-3+b3_armhf.deb2020-11-25 02:43 84M 
[ ]coq_8.12.0-3+b3_i386.deb2020-11-25 02:18 84M 
[ ]coq_8.12.0-3+b3_mips64el.deb2020-11-25 11:41 101M 
[ ]coq_8.12.0-3+b3_mipsel.deb2020-11-25 19:43 101M 
[ ]coq_8.12.0-3+b3_ppc64el.deb2020-11-25 02:28 87M 
[ ]coq_8.12.0-3.debian.tar.xz2020-09-10 02:38 37K 
[TXT]coq_8.12.0-3.dsc2020-09-10 02:38 2.4K 
[ ]coq_8.12.0.orig.tar.gz2020-08-22 05:26 5.7M 
[ ]coq_8.15.0+dfsg-1.debian.tar.xz2022-01-17 10:02 39K 
[TXT]coq_8.15.0+dfsg-1.dsc2022-01-17 10:02 2.5K 
[ ]coq_8.15.0+dfsg-2+b1_amd64.deb2022-02-07 18:13 77M 
[ ]coq_8.15.0+dfsg-2.debian.tar.xz2022-02-04 18:03 39K 
[TXT]coq_8.15.0+dfsg-2.dsc2022-02-04 18:03 2.5K 
[ ]coq_8.15.0+dfsg-2_arm64.deb2022-02-05 09:00 84M 
[ ]coq_8.15.0+dfsg-2_armhf.deb2022-02-05 09:00 74M 
[ ]coq_8.15.0+dfsg-2_i386.deb2022-02-05 08:44 73M 
[ ]coq_8.15.0+dfsg-2_ppc64el.deb2022-02-05 08:44 78M 
[ ]coq_8.15.0+dfsg-2_s390x.deb2022-02-05 08:50 77M 
[ ]coq_8.15.0+dfsg.orig.tar.xz2022-01-17 10:02 4.5M 
[ ]coq_8.15.1+dfsg-1.debian.tar.xz2022-03-22 18:17 39K 
[TXT]coq_8.15.1+dfsg-1.dsc2022-03-22 18:17 2.5K 
[ ]coq_8.15.1+dfsg-1_amd64.deb2022-03-22 18:58 77M 
[ ]coq_8.15.1+dfsg-1_arm64.deb2022-03-22 19:13 84M 
[ ]coq_8.15.1+dfsg-1_armhf.deb2022-03-22 19:14 74M 
[ ]coq_8.15.1+dfsg-1_i386.deb2022-03-22 19:14 73M 
[ ]coq_8.15.1+dfsg-1_ppc64el.deb2022-03-22 19:29 78M 
[ ]coq_8.15.1+dfsg-1_s390x.deb2022-03-22 20:40 77M 
[ ]coq_8.15.1+dfsg-2.debian.tar.xz2022-05-20 14:23 39K 
[TXT]coq_8.15.1+dfsg-2.dsc2022-05-20 14:23 2.5K 
[ ]coq_8.15.1+dfsg-2_amd64.deb2022-05-20 15:13 77M 
[ ]coq_8.15.1+dfsg-2_arm64.deb2022-05-20 15:29 84M 
[ ]coq_8.15.1+dfsg-2_armhf.deb2022-05-20 15:29 74M 
[ ]coq_8.15.1+dfsg-2_i386.deb2022-05-20 15:14 73M 
[ ]coq_8.15.1+dfsg-2_ppc64el.deb2022-05-20 15:14 78M 
[ ]coq_8.15.1+dfsg-2_s390x.deb2022-05-20 15:03 77M 
[ ]coq_8.15.1+dfsg.orig.tar.xz2022-03-22 18:17 4.5M 
[ ]coq_8.15.2+dfsg-1.debian.tar.xz2022-05-31 15:52 39K 
[TXT]coq_8.15.2+dfsg-1.dsc2022-05-31 15:52 2.5K 
[ ]coq_8.15.2+dfsg-1_amd64.deb2022-05-31 17:28 77M 
[ ]coq_8.15.2+dfsg-1_arm64.deb2022-05-31 17:42 84M 
[ ]coq_8.15.2+dfsg-1_armhf.deb2022-05-31 18:28 74M 
[ ]coq_8.15.2+dfsg-1_i386.deb2022-05-31 17:13 73M 
[ ]coq_8.15.2+dfsg-1_ppc64el.deb2022-05-31 17:28 78M 
[ ]coq_8.15.2+dfsg-1_s390x.deb2022-05-31 20:14 77M 
[ ]coq_8.15.2+dfsg-2.debian.tar.xz2022-06-11 16:44 39K 
[TXT]coq_8.15.2+dfsg-2.dsc2022-06-11 16:44 2.5K 
[ ]coq_8.15.2+dfsg-2_amd64.deb2022-06-11 17:42 77M 
[ ]coq_8.15.2+dfsg-2_arm64.deb2022-06-11 17:57 84M 
[ ]coq_8.15.2+dfsg-2_armhf.deb2022-06-11 18:42 74M 
[ ]coq_8.15.2+dfsg-2_i386.deb2022-06-11 17:42 73M 
[ ]coq_8.15.2+dfsg-2_ppc64el.deb2022-06-11 17:30 78M 
[ ]coq_8.15.2+dfsg-2_s390x.deb2022-06-11 23:40 77M 
[ ]coq_8.15.2+dfsg.orig.tar.xz2022-05-31 15:52 4.5M 
[ ]coq_8.16.0+dfsg-1.debian.tar.xz2022-09-06 05:04 33K 
[TXT]coq_8.16.0+dfsg-1.dsc2022-09-06 05:04 2.6K 
[ ]coq_8.16.0+dfsg-1_amd64.deb2022-09-06 07:10 89M 
[ ]coq_8.16.0+dfsg-1_arm64.deb2022-09-06 07:15 97M 
[ ]coq_8.16.0+dfsg-1_armhf.deb2022-09-06 07:10 86M 
[ ]coq_8.16.0+dfsg-1_i386.deb2022-09-06 08:26 83M 
[ ]coq_8.16.0+dfsg-1_ppc64el.deb2022-09-06 08:56 90M 
[ ]coq_8.16.0+dfsg-1_s390x.deb2022-09-06 13:45 89M 
[ ]coq_8.16.0+dfsg.orig.tar.xz2022-09-06 05:04 4.5M 
[ ]coq_8.16.1+dfsg-1+b1_amd64.deb2023-01-23 13:29 89M 
[ ]coq_8.16.1+dfsg-1+b1_arm64.deb2023-01-23 13:44 97M 
[ ]coq_8.16.1+dfsg-1+b1_armhf.deb2023-01-23 14:15 86M 
[ ]coq_8.16.1+dfsg-1+b1_i386.deb2023-01-23 14:26 83M 
[ ]coq_8.16.1+dfsg-1+b1_ppc64el.deb2023-01-23 14:00 90M 
[ ]coq_8.16.1+dfsg-1+b1_s390x.deb2023-01-23 13:24 89M 
[ ]coq_8.16.1+dfsg-1+b2_amd64.deb2023-02-12 20:14 89M 
[ ]coq_8.16.1+dfsg-1+b2_arm64.deb2023-02-12 20:55 97M 
[ ]coq_8.16.1+dfsg-1+b2_armhf.deb2023-02-12 20:55 86M 
[ ]coq_8.16.1+dfsg-1+b2_i386.deb2023-02-12 20:29 83M 
[ ]coq_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-12 22:13 90M 
[ ]coq_8.16.1+dfsg-1+b2_s390x.deb2023-02-12 20:45 89M 
[ ]coq_8.16.1+dfsg-1.debian.tar.xz2022-11-29 03:35 32K 
[TXT]coq_8.16.1+dfsg-1.dsc2022-11-29 03:35 2.6K 
[ ]coq_8.16.1+dfsg-1_amd64.deb2022-11-29 05:11 89M 
[ ]coq_8.16.1+dfsg-1_arm64.deb2022-11-29 06:12 97M 
[ ]coq_8.16.1+dfsg-1_armhf.deb2022-11-29 05:57 86M 
[ ]coq_8.16.1+dfsg-1_i386.deb2022-11-29 04:55 83M 
[ ]coq_8.16.1+dfsg-1_ppc64el.deb2022-11-29 05:26 90M 
[ ]coq_8.16.1+dfsg-1_s390x.deb2022-11-29 08:13 89M 
[ ]coq_8.16.1+dfsg.orig.tar.xz2022-11-29 03:35 4.5M 
[ ]coq_8.17.0+dfsg-1+b1_amd64.deb2023-07-22 18:12 75M 
[ ]coq_8.17.0+dfsg-1+b1_arm64.deb2023-07-22 18:12 81M 
[ ]coq_8.17.0+dfsg-1+b1_armhf.deb2023-07-22 18:12 73M 
[ ]coq_8.17.0+dfsg-1+b1_i386.deb2023-07-22 18:57 71M 
[ ]coq_8.17.0+dfsg-1+b1_ppc64el.deb2023-07-22 18:12 76M 
[ ]coq_8.17.0+dfsg-1+b1_riscv64.deb2023-09-23 14:02 76M 
[ ]coq_8.17.0+dfsg-1+b1_s390x.deb2023-07-22 22:56 75M 
[ ]coq_8.17.0+dfsg-1+b2_amd64.deb2023-07-23 01:13 75M 
[ ]coq_8.17.0+dfsg-1+b2_arm64.deb2023-07-23 03:16 81M 
[ ]coq_8.17.0+dfsg-1+b2_armhf.deb2023-07-23 01:44 73M 
[ ]coq_8.17.0+dfsg-1+b2_i386.deb2023-07-23 01:13 71M 
[ ]coq_8.17.0+dfsg-1+b2_ppc64el.deb2023-07-23 02:40 76M 
[ ]coq_8.17.0+dfsg-1+b2_s390x.deb2023-07-23 17:40 75M 
[ ]coq_8.17.0+dfsg-1+b3_amd64.deb2023-09-22 02:56 77M 
[ ]coq_8.17.0+dfsg-1+b3_arm64.deb2023-09-22 03:57 83M 
[ ]coq_8.17.0+dfsg-1+b3_armhf.deb2023-09-22 03:16 74M 
[ ]coq_8.17.0+dfsg-1+b3_i386.deb2023-09-22 03:01 72M 
[ ]coq_8.17.0+dfsg-1+b3_ppc64el.deb2023-09-22 03:26 77M 
[ ]coq_8.17.0+dfsg-1+b3_s390x.deb2023-09-22 02:40 76M 
[ ]coq_8.17.0+dfsg-1.debian.tar.xz2023-06-12 03:05 32K 
[TXT]coq_8.17.0+dfsg-1.dsc2023-06-12 03:05 2.6K 
[ ]coq_8.17.0+dfsg-1_amd64.deb2023-06-12 04:12 75M 
[ ]coq_8.17.0+dfsg-1_arm64.deb2023-06-13 00:34 81M 
[ ]coq_8.17.0+dfsg-1_armhf.deb2023-06-12 16:02 73M 
[ ]coq_8.17.0+dfsg-1_i386.deb2023-06-12 05:12 71M 
[ ]coq_8.17.0+dfsg-1_ppc64el.deb2023-06-15 02:10 75M 
[ ]coq_8.17.0+dfsg-1_riscv64.deb2023-08-30 03:10 74M 
[ ]coq_8.17.0+dfsg-1_s390x.deb2023-06-12 05:12 75M 
[ ]coq_8.17.0+dfsg.orig.tar.xz2023-06-12 03:05 4.6M 
[ ]coq_8.18.0+dfsg-1+b1_amd64.deb2024-03-13 01:25 78M 
[ ]coq_8.18.0+dfsg-1+b1_arm64.deb2024-03-12 23:35 84M 
[ ]coq_8.18.0+dfsg-1+b1_armhf.deb2024-03-25 07:12 75M 
[ ]coq_8.18.0+dfsg-1+b1_i386.deb2024-03-13 01:46 74M 
[ ]coq_8.18.0+dfsg-1+b1_ppc64el.deb2024-03-13 00:28 78M 
[ ]coq_8.18.0+dfsg-1+b1_riscv64.deb2024-03-27 05:10 77M 
[ ]coq_8.18.0+dfsg-1+b1_s390x.deb2024-03-13 07:53 77M 
[ ]coq_8.18.0+dfsg-1.debian.tar.xz2023-12-21 08:58 32K 
[TXT]coq_8.18.0+dfsg-1.dsc2023-12-21 08:58 2.5K 
[ ]coq_8.18.0+dfsg-1_amd64.deb2023-12-21 12:16 78M 
[ ]coq_8.18.0+dfsg-1_arm64.deb2023-12-21 10:19 84M 
[ ]coq_8.18.0+dfsg-1_armhf.deb2023-12-21 10:24 75M 
[ ]coq_8.18.0+dfsg-1_i386.deb2023-12-21 13:21 74M 
[ ]coq_8.18.0+dfsg-1_ppc64el.deb2023-12-21 11:50 78M 
[ ]coq_8.18.0+dfsg-1_riscv64.deb2023-12-21 19:09 77M 
[ ]coq_8.18.0+dfsg-1_s390x.deb2023-12-21 10:14 77M 
[ ]coq_8.18.0+dfsg.orig.tar.xz2023-12-21 08:58 4.6M 
[ ]coq_8.19.1+dfsg-1.debian.tar.xz2024-04-26 09:46 32K 
[TXT]coq_8.19.1+dfsg-1.dsc2024-04-26 09:46 2.5K 
[ ]coq_8.19.1+dfsg-1_amd64.deb2024-04-26 10:22 78M 
[ ]coq_8.19.1+dfsg-1_arm64.deb2024-04-26 10:22 85M 
[ ]coq_8.19.1+dfsg-1_armhf.deb2024-04-26 10:56 75M 
[ ]coq_8.19.1+dfsg-1_i386.deb2024-04-26 10:17 74M 
[ ]coq_8.19.1+dfsg-1_ppc64el.deb2024-04-26 10:22 79M 
[ ]coq_8.19.1+dfsg-1_riscv64.deb2024-04-26 14:50 78M 
[ ]coq_8.19.1+dfsg-1_s390x.deb2024-04-26 11:06 78M 
[ ]coq_8.19.1+dfsg-2.debian.tar.xz2024-06-15 02:05 32K 
[TXT]coq_8.19.1+dfsg-2.dsc2024-06-15 02:05 2.3K 
[ ]coq_8.19.1+dfsg-2_amd64.deb2024-06-15 02:46 79M 
[ ]coq_8.19.1+dfsg-2_arm64.deb2024-06-15 03:02 84M 
[ ]coq_8.19.1+dfsg-2_armhf.deb2024-06-15 02:47 76M 
[ ]coq_8.19.1+dfsg-2_i386.deb2024-06-15 02:47 75M 
[ ]coq_8.19.1+dfsg-2_ppc64el.deb2024-06-15 02:47 79M 
[ ]coq_8.19.1+dfsg-2_riscv64.deb2024-06-15 04:13 78M 
[ ]coq_8.19.1+dfsg-2_s390x.deb2024-06-15 02:52 78M 
[ ]coq_8.19.1+dfsg-3+b1_amd64.deb2024-08-08 13:58 83M 
[ ]coq_8.19.1+dfsg-3+b1_arm64.deb2024-08-08 13:58 88M 
[ ]coq_8.19.1+dfsg-3+b1_ppc64el.deb2024-08-08 13:33 83M 
[ ]coq_8.19.1+dfsg-3+b1_riscv64.deb2024-08-08 17:03 84M 
[ ]coq_8.19.1+dfsg-3+b1_s390x.deb2024-08-10 18:28 83M 
[ ]coq_8.19.1+dfsg-3+b2_amd64.deb2024-08-20 14:10 83M 
[ ]coq_8.19.1+dfsg-3+b2_arm64.deb2024-08-20 14:16 88M 
[ ]coq_8.19.1+dfsg-3+b2_ppc64el.deb2024-08-20 14:11 83M 
[ ]coq_8.19.1+dfsg-3+b2_riscv64.deb2024-08-20 15:44 84M 
[ ]coq_8.19.1+dfsg-3+b2_s390x.deb2024-08-20 14:47 83M 
[ ]coq_8.19.1+dfsg-3+b3_ppc64el.deb2024-08-30 02:07 83M 
[ ]coq_8.19.1+dfsg-3.debian.tar.xz2024-08-03 03:53 32K 
[TXT]coq_8.19.1+dfsg-3.dsc2024-08-03 03:53 2.3K 
[ ]coq_8.19.1+dfsg-3_amd64.deb2024-08-03 05:04 79M 
[ ]coq_8.19.1+dfsg-3_arm64.deb2024-08-03 05:20 84M 
[ ]coq_8.19.1+dfsg-3_armhf.deb2024-08-03 05:15 76M 
[ ]coq_8.19.1+dfsg-3_i386.deb2024-08-03 05:04 75M 
[ ]coq_8.19.1+dfsg-3_ppc64el.deb2024-08-03 05:09 79M 
[ ]coq_8.19.1+dfsg-3_riscv64.deb2024-08-03 07:01 78M 
[ ]coq_8.19.1+dfsg-3_s390x.deb2024-08-03 14:37 78M 
[ ]coq_8.19.1+dfsg.orig.tar.bz22024-04-26 09:46 5.3M 
[ ]coq_8.20.0+dfsg-1+b1_amd64.deb2025-01-28 12:00 67M 
[ ]coq_8.20.0+dfsg-1+b1_arm64.deb2025-01-28 15:47 71M 
[ ]coq_8.20.0+dfsg-1+b1_ppc64el.deb2025-01-28 11:09 67M 
[ ]coq_8.20.0+dfsg-1+b1_riscv64.deb2025-01-28 15:57 68M 
[ ]coq_8.20.0+dfsg-1+b1_s390x.deb2025-01-30 00:46 68M 
[ ]coq_8.20.0+dfsg-1+b2_amd64.deb2025-02-12 22:14 67M 
[ ]coq_8.20.0+dfsg-1+b2_arm64.deb2025-02-12 22:30 71M 
[ ]coq_8.20.0+dfsg-1+b2_ppc64el.deb2025-02-12 22:19 68M 
[ ]coq_8.20.0+dfsg-1+b2_riscv64.deb2025-02-12 23:37 68M 
[ ]coq_8.20.0+dfsg-1+b2_s390x.deb2025-02-13 03:36 68M 
[ ]coq_8.20.0+dfsg-1.debian.tar.xz2024-11-20 04:52 29K 
[TXT]coq_8.20.0+dfsg-1.dsc2024-11-20 04:52 2.5K 
[ ]coq_8.20.0+dfsg-1_amd64.deb2024-11-20 05:33 73M 
[ ]coq_8.20.0+dfsg-1_arm64.deb2024-11-20 05:58 77M 
[ ]coq_8.20.0+dfsg-1_ppc64el.deb2024-11-20 06:00 74M 
[ ]coq_8.20.0+dfsg-1_riscv64.deb2024-11-20 08:10 74M 
[ ]coq_8.20.0+dfsg-1_s390x.deb2024-11-20 10:02 74M 
[ ]coq_8.20.0+dfsg.orig.tar.xz2024-11-20 04:52 4.8M 
[ ]coq_8.20.1+dfsg-1+b1_amd64.deb2025-06-14 21:07 67M 
[ ]coq_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 01:17 71M 
[ ]coq_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 01:53 68M 
[ ]coq_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 00:52 68M 
[ ]coq_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 08:17 68M 
[ ]coq_8.20.1+dfsg-1.debian.tar.xz2025-02-17 11:37 30K 
[TXT]coq_8.20.1+dfsg-1.dsc2025-02-17 11:37 2.5K 
[ ]coq_8.20.1+dfsg-1_amd64.deb2025-02-17 12:12 67M 
[ ]coq_8.20.1+dfsg-1_arm64.deb2025-02-17 12:33 71M 
[ ]coq_8.20.1+dfsg-1_ppc64el.deb2025-02-17 12:28 68M 
[ ]coq_8.20.1+dfsg-1_riscv64.deb2025-02-17 18:39 68M 
[ ]coq_8.20.1+dfsg-1_s390x.deb2025-02-17 23:34 68M 
[ ]coq_8.20.1+dfsg.orig.tar.xz2025-02-17 11:37 4.8M 
[ ]coqide_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 779K 
[ ]coqide_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 780K 
[ ]coqide_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 804K 
[ ]coqide_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 714K 
[ ]coqide_8.6-4_amd64.deb2016-12-29 19:56 1.3M 
[ ]coqide_8.6-4_arm64.deb2016-12-29 20:57 1.4M 
[ ]coqide_8.6-4_armel.deb2016-12-29 22:12 1.4M 
[ ]coqide_8.6-4_armhf.deb2016-12-29 22:12 1.4M 
[ ]coqide_8.6-4_i386.deb2016-12-29 20:57 1.3M 
[ ]coqide_8.6-4_mips.deb2016-12-30 02:57 1.8M 
[ ]coqide_8.6-4_mips64el.deb2016-12-30 09:29 1.8M 
[ ]coqide_8.6-4_mipsel.deb2016-12-30 02:57 1.8M 
[ ]coqide_8.6-4_ppc64el.deb2016-12-29 22:57 1.8M 
[ ]coqide_8.6-4_s390x.deb2016-12-30 00:27 1.8M 
[ ]coqide_8.12.0-3+b3_amd64.deb2020-11-25 02:28 1.8M 
[ ]coqide_8.12.0-3+b3_arm64.deb2020-11-25 02:58 2.1M 
[ ]coqide_8.12.0-3+b3_armel.deb2020-11-25 12:44 46K 
[ ]coqide_8.12.0-3+b3_armhf.deb2020-11-25 02:43 1.7M 
[ ]coqide_8.12.0-3+b3_i386.deb2020-11-25 02:18 1.6M 
[ ]coqide_8.12.0-3+b3_mips64el.deb2020-11-25 11:41 46K 
[ ]coqide_8.12.0-3+b3_mipsel.deb2020-11-25 19:43 46K 
[ ]coqide_8.12.0-3+b3_ppc64el.deb2020-11-25 02:28 1.9M 
[ ]coqide_8.15.0+dfsg-2+b1_amd64.deb2022-02-07 18:13 1.9M 
[ ]coqide_8.15.0+dfsg-2_arm64.deb2022-02-05 09:00 2.2M 
[ ]coqide_8.15.0+dfsg-2_armhf.deb2022-02-05 09:00 1.7M 
[ ]coqide_8.15.0+dfsg-2_i386.deb2022-02-05 08:44 1.7M 
[ ]coqide_8.15.0+dfsg-2_ppc64el.deb2022-02-05 08:44 2.0M 
[ ]coqide_8.15.0+dfsg-2_s390x.deb2022-02-05 08:50 1.9M 
[ ]coqide_8.15.1+dfsg-1_amd64.deb2022-03-22 18:58 1.9M 
[ ]coqide_8.15.1+dfsg-1_arm64.deb2022-03-22 19:13 2.2M 
[ ]coqide_8.15.1+dfsg-1_armhf.deb2022-03-22 19:14 1.8M 
[ ]coqide_8.15.1+dfsg-1_i386.deb2022-03-22 19:14 1.7M 
[ ]coqide_8.15.1+dfsg-1_ppc64el.deb2022-03-22 19:29 2.0M 
[ ]coqide_8.15.1+dfsg-1_s390x.deb2022-03-22 20:40 1.9M 
[ ]coqide_8.15.1+dfsg-2_amd64.deb2022-05-20 15:13 1.9M 
[ ]coqide_8.15.1+dfsg-2_arm64.deb2022-05-20 15:29 2.2M 
[ ]coqide_8.15.1+dfsg-2_armhf.deb2022-05-20 15:29 1.8M 
[ ]coqide_8.15.1+dfsg-2_i386.deb2022-05-20 15:14 1.7M 
[ ]coqide_8.15.1+dfsg-2_ppc64el.deb2022-05-20 15:14 2.0M 
[ ]coqide_8.15.1+dfsg-2_s390x.deb2022-05-20 15:03 1.9M 
[ ]coqide_8.15.2+dfsg-1_amd64.deb2022-05-31 17:28 1.9M 
[ ]coqide_8.15.2+dfsg-1_arm64.deb2022-05-31 17:42 2.2M 
[ ]coqide_8.15.2+dfsg-1_armhf.deb2022-05-31 18:28 1.8M 
[ ]coqide_8.15.2+dfsg-1_i386.deb2022-05-31 17:13 1.7M 
[ ]coqide_8.15.2+dfsg-1_ppc64el.deb2022-05-31 17:28 2.0M 
[ ]coqide_8.15.2+dfsg-1_s390x.deb2022-05-31 20:14 1.9M 
[ ]coqide_8.15.2+dfsg-2_amd64.deb2022-06-11 17:42 1.9M 
[ ]coqide_8.15.2+dfsg-2_arm64.deb2022-06-11 17:57 2.2M 
[ ]coqide_8.15.2+dfsg-2_armhf.deb2022-06-11 18:42 1.8M 
[ ]coqide_8.15.2+dfsg-2_i386.deb2022-06-11 17:42 1.7M 
[ ]coqide_8.15.2+dfsg-2_ppc64el.deb2022-06-11 17:30 2.0M 
[ ]coqide_8.15.2+dfsg-2_s390x.deb2022-06-11 23:40 1.9M 
[ ]coqide_8.16.0+dfsg-1_amd64.deb2022-09-06 07:10 1.9M 
[ ]coqide_8.16.0+dfsg-1_arm64.deb2022-09-06 07:15 2.2M 
[ ]coqide_8.16.0+dfsg-1_armhf.deb2022-09-06 07:10 1.8M 
[ ]coqide_8.16.0+dfsg-1_i386.deb2022-09-06 08:26 1.7M 
[ ]coqide_8.16.0+dfsg-1_ppc64el.deb2022-09-06 08:56 2.0M 
[ ]coqide_8.16.0+dfsg-1_s390x.deb2022-09-06 13:45 1.9M 
[ ]coqide_8.16.1+dfsg-1+b1_amd64.deb2023-01-23 13:29 1.9M 
[ ]coqide_8.16.1+dfsg-1+b1_arm64.deb2023-01-23 13:44 2.2M 
[ ]coqide_8.16.1+dfsg-1+b1_armhf.deb2023-01-23 14:15 1.8M 
[ ]coqide_8.16.1+dfsg-1+b1_i386.deb2023-01-23 14:26 1.7M 
[ ]coqide_8.16.1+dfsg-1+b1_ppc64el.deb2023-01-23 14:00 2.0M 
[ ]coqide_8.16.1+dfsg-1+b1_s390x.deb2023-01-23 13:24 1.9M 
[ ]coqide_8.16.1+dfsg-1+b2_amd64.deb2023-02-12 20:14 1.9M 
[ ]coqide_8.16.1+dfsg-1+b2_arm64.deb2023-02-12 20:55 2.2M 
[ ]coqide_8.16.1+dfsg-1+b2_armhf.deb2023-02-12 20:55 1.7M 
[ ]coqide_8.16.1+dfsg-1+b2_i386.deb2023-02-12 20:29 1.7M 
[ ]coqide_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-12 22:13 2.0M 
[ ]coqide_8.16.1+dfsg-1+b2_s390x.deb2023-02-12 20:45 1.9M 
[ ]coqide_8.16.1+dfsg-1_amd64.deb2022-11-29 05:11 1.9M 
[ ]coqide_8.16.1+dfsg-1_arm64.deb2022-11-29 06:12 2.2M 
[ ]coqide_8.16.1+dfsg-1_armhf.deb2022-11-29 05:57 1.8M 
[ ]coqide_8.16.1+dfsg-1_i386.deb2022-11-29 04:55 1.7M 
[ ]coqide_8.16.1+dfsg-1_ppc64el.deb2022-11-29 05:26 2.0M 
[ ]coqide_8.16.1+dfsg-1_s390x.deb2022-11-29 08:13 1.9M 
[ ]coqide_8.17.0+dfsg-1+b1_amd64.deb2023-07-22 18:12 1.9M 
[ ]coqide_8.17.0+dfsg-1+b1_arm64.deb2023-07-22 18:12 2.2M 
[ ]coqide_8.17.0+dfsg-1+b1_armhf.deb2023-07-22 18:12 1.7M 
[ ]coqide_8.17.0+dfsg-1+b1_i386.deb2023-07-22 18:57 1.7M 
[ ]coqide_8.17.0+dfsg-1+b1_ppc64el.deb2023-07-22 18:12 2.0M 
[ ]coqide_8.17.0+dfsg-1+b1_riscv64.deb2023-09-23 14:02 1.9M 
[ ]coqide_8.17.0+dfsg-1+b1_s390x.deb2023-07-22 22:56 1.9M 
[ ]coqide_8.17.0+dfsg-1+b2_amd64.deb2023-07-23 01:13 1.9M 
[ ]coqide_8.17.0+dfsg-1+b2_arm64.deb2023-07-23 03:16 2.2M 
[ ]coqide_8.17.0+dfsg-1+b2_armhf.deb2023-07-23 01:44 1.7M 
[ ]coqide_8.17.0+dfsg-1+b2_i386.deb2023-07-23 01:13 1.7M 
[ ]coqide_8.17.0+dfsg-1+b2_ppc64el.deb2023-07-23 02:40 2.0M 
[ ]coqide_8.17.0+dfsg-1+b2_s390x.deb2023-07-23 17:40 1.9M 
[ ]coqide_8.17.0+dfsg-1+b3_amd64.deb2023-09-22 02:56 1.9M 
[ ]coqide_8.17.0+dfsg-1+b3_arm64.deb2023-09-22 03:57 2.2M 
[ ]coqide_8.17.0+dfsg-1+b3_armhf.deb2023-09-22 03:16 1.7M 
[ ]coqide_8.17.0+dfsg-1+b3_i386.deb2023-09-22 03:01 1.7M 
[ ]coqide_8.17.0+dfsg-1+b3_ppc64el.deb2023-09-22 03:26 2.0M 
[ ]coqide_8.17.0+dfsg-1+b3_s390x.deb2023-09-22 02:40 1.9M 
[ ]coqide_8.17.0+dfsg-1_amd64.deb2023-06-12 04:12 1.9M 
[ ]coqide_8.17.0+dfsg-1_arm64.deb2023-06-13 00:34 2.2M 
[ ]coqide_8.17.0+dfsg-1_armhf.deb2023-06-12 16:02 1.7M 
[ ]coqide_8.17.0+dfsg-1_i386.deb2023-06-12 05:12 1.7M 
[ ]coqide_8.17.0+dfsg-1_ppc64el.deb2023-06-15 02:10 2.0M 
[ ]coqide_8.17.0+dfsg-1_riscv64.deb2023-08-30 03:10 1.8M 
[ ]coqide_8.17.0+dfsg-1_s390x.deb2023-06-12 05:12 1.9M 
[ ]coqide_8.18.0+dfsg-1+b1_amd64.deb2024-03-13 01:25 1.9M 
[ ]coqide_8.18.0+dfsg-1+b1_arm64.deb2024-03-12 23:35 2.2M 
[ ]coqide_8.18.0+dfsg-1+b1_armhf.deb2024-03-25 07:12 1.8M 
[ ]coqide_8.18.0+dfsg-1+b1_i386.deb2024-03-13 01:46 1.7M 
[ ]coqide_8.18.0+dfsg-1+b1_ppc64el.deb2024-03-13 00:28 2.0M 
[ ]coqide_8.18.0+dfsg-1+b1_riscv64.deb2024-03-27 05:10 1.9M 
[ ]coqide_8.18.0+dfsg-1+b1_s390x.deb2024-03-13 07:53 1.9M 
[ ]coqide_8.18.0+dfsg-1_amd64.deb2023-12-21 12:16 1.9M 
[ ]coqide_8.18.0+dfsg-1_arm64.deb2023-12-21 10:19 2.2M 
[ ]coqide_8.18.0+dfsg-1_armhf.deb2023-12-21 10:24 1.8M 
[ ]coqide_8.18.0+dfsg-1_i386.deb2023-12-21 13:21 1.7M 
[ ]coqide_8.18.0+dfsg-1_ppc64el.deb2023-12-21 11:50 2.0M 
[ ]coqide_8.18.0+dfsg-1_riscv64.deb2023-12-21 19:09 1.9M 
[ ]coqide_8.18.0+dfsg-1_s390x.deb2023-12-21 10:14 1.9M 
[ ]coqide_8.19.1+dfsg-1_amd64.deb2024-04-26 10:22 1.9M 
[ ]coqide_8.19.1+dfsg-1_arm64.deb2024-04-26 10:22 2.2M 
[ ]coqide_8.19.1+dfsg-1_armhf.deb2024-04-26 10:56 1.8M 
[ ]coqide_8.19.1+dfsg-1_i386.deb2024-04-26 10:17 1.7M 
[ ]coqide_8.19.1+dfsg-1_ppc64el.deb2024-04-26 10:22 2.0M 
[ ]coqide_8.19.1+dfsg-1_riscv64.deb2024-04-26 14:50 1.9M 
[ ]coqide_8.19.1+dfsg-1_s390x.deb2024-04-26 11:06 1.9M 
[ ]coqide_8.19.1+dfsg-2_amd64.deb2024-06-15 02:46 1.9M 
[ ]coqide_8.19.1+dfsg-2_arm64.deb2024-06-15 03:02 2.2M 
[ ]coqide_8.19.1+dfsg-2_armhf.deb2024-06-15 02:47 1.8M 
[ ]coqide_8.19.1+dfsg-2_i386.deb2024-06-15 02:47 1.7M 
[ ]coqide_8.19.1+dfsg-2_ppc64el.deb2024-06-15 02:47 2.0M 
[ ]coqide_8.19.1+dfsg-2_riscv64.deb2024-06-15 04:13 1.9M 
[ ]coqide_8.19.1+dfsg-2_s390x.deb2024-06-15 02:52 1.9M 
[ ]coqide_8.19.1+dfsg-3+b1_amd64.deb2024-08-08 13:58 2.0M 
[ ]coqide_8.19.1+dfsg-3+b1_arm64.deb2024-08-08 13:58 2.3M 
[ ]coqide_8.19.1+dfsg-3+b1_ppc64el.deb2024-08-08 13:33 2.1M 
[ ]coqide_8.19.1+dfsg-3+b1_riscv64.deb2024-08-08 17:03 2.1M 
[ ]coqide_8.19.1+dfsg-3+b1_s390x.deb2024-08-10 18:28 2.0M 
[ ]coqide_8.19.1+dfsg-3+b2_amd64.deb2024-08-20 14:10 2.1M 
[ ]coqide_8.19.1+dfsg-3+b2_arm64.deb2024-08-20 14:16 2.4M 
[ ]coqide_8.19.1+dfsg-3+b2_ppc64el.deb2024-08-20 14:11 2.1M 
[ ]coqide_8.19.1+dfsg-3+b2_riscv64.deb2024-08-20 15:44 2.1M 
[ ]coqide_8.19.1+dfsg-3+b2_s390x.deb2024-08-20 14:47 2.1M 
[ ]coqide_8.19.1+dfsg-3+b3_ppc64el.deb2024-08-30 02:07 2.1M 
[ ]coqide_8.19.1+dfsg-3_amd64.deb2024-08-03 05:04 1.9M 
[ ]coqide_8.19.1+dfsg-3_arm64.deb2024-08-03 05:20 2.2M 
[ ]coqide_8.19.1+dfsg-3_armhf.deb2024-08-03 05:15 1.8M 
[ ]coqide_8.19.1+dfsg-3_i386.deb2024-08-03 05:04 1.7M 
[ ]coqide_8.19.1+dfsg-3_ppc64el.deb2024-08-03 05:09 2.0M 
[ ]coqide_8.19.1+dfsg-3_riscv64.deb2024-08-03 07:01 1.9M 
[ ]coqide_8.19.1+dfsg-3_s390x.deb2024-08-03 14:37 1.9M 
[ ]coqide_8.20.0+dfsg-1+b1_amd64.deb2025-01-28 12:00 1.8M 
[ ]coqide_8.20.0+dfsg-1+b1_arm64.deb2025-01-28 15:47 2.1M 
[ ]coqide_8.20.0+dfsg-1+b1_ppc64el.deb2025-01-28 11:09 1.9M 
[ ]coqide_8.20.0+dfsg-1+b1_riscv64.deb2025-01-28 15:57 1.9M 
[ ]coqide_8.20.0+dfsg-1+b1_s390x.deb2025-01-30 00:46 1.9M 
[ ]coqide_8.20.0+dfsg-1+b2_amd64.deb2025-02-12 22:14 1.8M 
[ ]coqide_8.20.0+dfsg-1+b2_arm64.deb2025-02-12 22:30 2.1M 
[ ]coqide_8.20.0+dfsg-1+b2_ppc64el.deb2025-02-12 22:19 1.9M 
[ ]coqide_8.20.0+dfsg-1+b2_riscv64.deb2025-02-12 23:37 1.9M 
[ ]coqide_8.20.0+dfsg-1+b2_s390x.deb2025-02-13 03:36 1.9M 
[ ]coqide_8.20.0+dfsg-1_amd64.deb2024-11-20 05:33 1.8M 
[ ]coqide_8.20.0+dfsg-1_arm64.deb2024-11-20 05:58 2.1M 
[ ]coqide_8.20.0+dfsg-1_ppc64el.deb2024-11-20 06:00 1.9M 
[ ]coqide_8.20.0+dfsg-1_riscv64.deb2024-11-20 08:10 1.9M 
[ ]coqide_8.20.0+dfsg-1_s390x.deb2024-11-20 10:02 1.9M 
[ ]coqide_8.20.1+dfsg-1+b1_amd64.deb2025-06-14 21:07 1.8M 
[ ]coqide_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 01:17 2.1M 
[ ]coqide_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 01:53 1.9M 
[ ]coqide_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 00:52 1.9M 
[ ]coqide_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 08:17 1.9M 
[ ]coqide_8.20.1+dfsg-1_amd64.deb2025-02-17 12:12 1.8M 
[ ]coqide_8.20.1+dfsg-1_arm64.deb2025-02-17 12:33 2.1M 
[ ]coqide_8.20.1+dfsg-1_ppc64el.deb2025-02-17 12:28 1.9M 
[ ]coqide_8.20.1+dfsg-1_riscv64.deb2025-02-17 18:39 1.9M 
[ ]coqide_8.20.1+dfsg-1_s390x.deb2025-02-17 23:34 1.9M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2+b1_amd64.deb2022-02-07 18:13 37M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb2022-02-05 09:00 37M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb2022-02-05 09:00 38M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_i386.deb2022-02-05 08:44 37M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb2022-02-05 08:44 38M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb2022-02-05 08:50 37M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_amd64.deb2022-03-22 18:58 37M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_arm64.deb2022-03-22 19:13 37M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_armhf.deb2022-03-22 19:14 38M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_i386.deb2022-03-22 19:14 38M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_ppc64el.deb2022-03-22 19:29 38M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-1_s390x.deb2022-03-22 20:40 37M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_amd64.deb2022-05-20 15:13 40M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_arm64.deb2022-05-20 15:29 40M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_armhf.deb2022-05-20 15:29 41M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_i386.deb2022-05-20 15:14 40M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_ppc64el.deb2022-05-20 15:14 41M 
[ ]libcoq-core-ocaml-dev_8.15.1+dfsg-2_s390x.deb2022-05-20 15:03 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_amd64.deb2022-05-31 17:28 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_arm64.deb2022-05-31 17:42 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_armhf.deb2022-05-31 18:28 41M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_i386.deb2022-05-31 17:13 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_ppc64el.deb2022-05-31 17:28 41M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-1_s390x.deb2022-05-31 20:14 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb2022-06-11 17:42 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_arm64.deb2022-06-11 17:57 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_armhf.deb2022-06-11 18:42 41M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_i386.deb2022-06-11 17:42 40M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_ppc64el.deb2022-06-11 17:30 41M 
[ ]libcoq-core-ocaml-dev_8.15.2+dfsg-2_s390x.deb2022-06-11 23:40 40M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_amd64.deb2022-09-06 07:10 41M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_arm64.deb2022-09-06 07:15 42M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_armhf.deb2022-09-06 07:10 42M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_i386.deb2022-09-06 08:26 40M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_ppc64el.deb2022-09-06 08:56 42M 
[ ]libcoq-core-ocaml-dev_8.16.0+dfsg-1_s390x.deb2022-09-06 13:45 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_amd64.deb2023-01-23 13:29 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_arm64.deb2023-01-23 13:44 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_armhf.deb2023-01-23 14:15 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_i386.deb2023-01-23 14:26 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_ppc64el.deb2023-01-23 14:00 42M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b1_s390x.deb2023-01-23 13:24 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2023-02-12 20:14 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb2023-02-12 20:55 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb2023-02-12 20:55 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb2023-02-12 20:29 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-12 22:13 42M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb2023-02-12 20:45 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_amd64.deb2022-11-29 05:11 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_arm64.deb2022-11-29 06:12 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_armhf.deb2022-11-29 05:57 41M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_i386.deb2022-11-29 04:55 40M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_ppc64el.deb2022-11-29 05:26 42M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1_s390x.deb2022-11-29 08:13 40M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_amd64.deb2023-07-22 18:12 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_arm64.deb2023-07-22 18:12 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_armhf.deb2023-07-22 18:12 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_i386.deb2023-07-22 18:57 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_ppc64el.deb2023-07-22 18:12 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_riscv64.deb2023-09-23 14:02 45M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b1_s390x.deb2023-07-22 22:56 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_amd64.deb2023-07-23 01:13 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_arm64.deb2023-07-23 03:16 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_armhf.deb2023-07-23 01:44 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_i386.deb2023-07-23 01:13 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_ppc64el.deb2023-07-23 02:40 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b2_s390x.deb2023-07-23 17:40 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_amd64.deb2023-09-22 02:56 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_arm64.deb2023-09-22 03:57 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_armhf.deb2023-09-22 03:16 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_i386.deb2023-09-22 03:01 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_ppc64el.deb2023-09-22 03:26 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1+b3_s390x.deb2023-09-22 02:40 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_amd64.deb2023-06-12 04:12 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_arm64.deb2023-06-13 00:34 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_armhf.deb2023-06-12 16:02 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_i386.deb2023-06-12 05:12 41M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_ppc64el.deb2023-06-15 02:10 42M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_riscv64.deb2023-08-30 03:10 45M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1_s390x.deb2023-06-12 05:12 41M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb2024-03-13 01:25 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb2024-03-12 23:35 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb2024-03-25 07:12 43M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb2024-03-13 01:46 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb2024-03-13 00:28 43M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb2024-03-27 05:10 47M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb2024-03-13 07:53 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb2023-12-21 12:16 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb2023-12-21 10:19 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb2023-12-21 10:24 43M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb2023-12-21 13:21 42M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb2023-12-21 11:50 43M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_riscv64.deb2023-12-21 19:09 47M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb2023-12-21 10:14 42M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb2024-04-26 10:22 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb2024-04-26 10:22 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb2024-04-26 10:56 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb2024-04-26 10:17 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb2024-04-26 10:22 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb2024-04-26 14:50 47M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390x.deb2024-04-26 11:06 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb2024-06-15 02:46 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb2024-06-15 03:02 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb2024-06-15 02:47 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_i386.deb2024-06-15 02:47 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_ppc64el.deb2024-06-15 02:47 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_riscv64.deb2024-06-15 04:13 47M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-2_s390x.deb2024-06-15 02:52 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_amd64.deb2024-08-08 13:58 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_arm64.deb2024-08-08 13:58 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_ppc64el.deb2024-08-08 13:33 65M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_riscv64.deb2024-08-08 17:03 69M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b1_s390x.deb2024-08-10 18:28 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb2024-08-20 14:10 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_arm64.deb2024-08-20 14:16 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_ppc64el.deb2024-08-20 14:11 65M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb2024-08-20 15:44 69M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_s390x.deb2024-08-20 14:47 64M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3+b3_ppc64el.deb2024-08-30 02:07 65M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb2024-08-03 05:04 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_arm64.deb2024-08-03 05:20 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_armhf.deb2024-08-03 05:15 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_i386.deb2024-08-03 05:04 43M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_ppc64el.deb2024-08-03 05:09 44M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_riscv64.deb2024-08-03 07:01 47M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3_s390x.deb2024-08-03 14:37 43M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_amd64.deb2025-01-28 12:00 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_arm64.deb2025-01-28 15:47 65M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_ppc64el.deb2025-01-28 11:09 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_riscv64.deb2025-01-28 15:57 70M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_s390x.deb2025-01-30 00:46 65M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_amd64.deb2025-02-12 22:14 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_arm64.deb2025-02-12 22:30 65M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_ppc64el.deb2025-02-12 22:19 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_riscv64.deb2025-02-12 23:37 70M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_s390x.deb2025-02-13 03:36 65M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb2024-11-20 05:33 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb2024-11-20 05:58 66M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb2024-11-20 06:00 67M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb2024-11-20 08:10 71M 
[ ]libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb2024-11-20 10:02 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb2025-06-14 21:07 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 01:17 65M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 01:53 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 00:52 70M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 08:17 65M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb2025-02-17 12:12 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb2025-02-17 12:33 65M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deb2025-02-17 12:28 66M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb2025-02-17 18:39 70M 
[ ]libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deb2025-02-17 23:34 65M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2+b1_amd64.deb2022-02-07 18:13 21M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb2022-02-05 09:00 22M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb2022-02-05 09:00 21M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_i386.deb2022-02-05 08:44 21M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb2022-02-05 08:44 22M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb2022-02-05 08:50 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_amd64.deb2022-03-22 18:58 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_arm64.deb2022-03-22 19:13 22M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_armhf.deb2022-03-22 19:14 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_i386.deb2022-03-22 19:14 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_ppc64el.deb2022-03-22 19:29 22M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-1_s390x.deb2022-03-22 20:40 22M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_amd64.deb2022-05-20 15:13 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_arm64.deb2022-05-20 15:29 22M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_armhf.deb2022-05-20 15:29 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_i386.deb2022-05-20 15:14 21M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_ppc64el.deb2022-05-20 15:14 22M 
[ ]libcoq-core-ocaml_8.15.1+dfsg-2_s390x.deb2022-05-20 15:03 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_amd64.deb2022-05-31 17:28 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_arm64.deb2022-05-31 17:42 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_armhf.deb2022-05-31 18:28 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_i386.deb2022-05-31 17:13 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_ppc64el.deb2022-05-31 17:28 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-1_s390x.deb2022-05-31 20:14 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb2022-06-11 17:42 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_arm64.deb2022-06-11 17:57 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_armhf.deb2022-06-11 18:42 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_i386.deb2022-06-11 17:42 21M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_ppc64el.deb2022-06-11 17:30 22M 
[ ]libcoq-core-ocaml_8.15.2+dfsg-2_s390x.deb2022-06-11 23:40 22M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_amd64.deb2022-09-06 07:10 22M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_arm64.deb2022-09-06 07:15 22M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_armhf.deb2022-09-06 07:10 21M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_i386.deb2022-09-06 08:26 21M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_ppc64el.deb2022-09-06 08:56 22M 
[ ]libcoq-core-ocaml_8.16.0+dfsg-1_s390x.deb2022-09-06 13:45 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_amd64.deb2023-01-23 13:29 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_arm64.deb2023-01-23 13:44 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_armhf.deb2023-01-23 14:15 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_i386.deb2023-01-23 14:26 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_ppc64el.deb2023-01-23 14:00 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b1_s390x.deb2023-01-23 13:24 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2023-02-12 20:14 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb2023-02-12 20:55 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb2023-02-12 20:55 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb2023-02-12 20:29 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-12 22:13 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb2023-02-12 20:45 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_amd64.deb2022-11-29 05:11 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_arm64.deb2022-11-29 06:12 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_armhf.deb2022-11-29 05:57 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_i386.deb2022-11-29 04:55 21M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_ppc64el.deb2022-11-29 05:26 22M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1_s390x.deb2022-11-29 08:13 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_amd64.deb2023-07-22 18:12 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_arm64.deb2023-07-22 18:12 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_armhf.deb2023-07-22 18:12 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_i386.deb2023-07-22 18:57 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_ppc64el.deb2023-07-22 18:12 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_riscv64.deb2023-09-23 14:02 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b1_s390x.deb2023-07-22 22:56 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_amd64.deb2023-07-23 01:13 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_arm64.deb2023-07-23 03:16 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_armhf.deb2023-07-23 01:44 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_i386.deb2023-07-23 01:13 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_ppc64el.deb2023-07-23 02:40 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b2_s390x.deb2023-07-23 17:40 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_amd64.deb2023-09-22 02:56 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_arm64.deb2023-09-22 03:57 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_armhf.deb2023-09-22 03:16 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_i386.deb2023-09-22 03:01 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_ppc64el.deb2023-09-22 03:26 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1+b3_s390x.deb2023-09-22 02:40 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_amd64.deb2023-06-12 04:12 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_arm64.deb2023-06-13 00:34 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_armhf.deb2023-06-12 16:02 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_i386.deb2023-06-12 05:12 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_ppc64el.deb2023-06-15 02:10 22M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_riscv64.deb2023-08-30 03:10 21M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1_s390x.deb2023-06-12 05:12 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb2024-03-13 01:25 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb2024-03-12 23:35 23M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb2024-03-25 07:12 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb2024-03-13 01:46 21M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb2024-03-13 00:28 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb2024-03-27 05:10 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb2024-03-13 07:53 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb2023-12-21 12:16 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb2023-12-21 10:19 23M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb2023-12-21 10:24 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb2023-12-21 13:21 21M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb2023-12-21 11:50 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_riscv64.deb2023-12-21 19:09 22M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb2023-12-21 10:14 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb2024-04-26 10:22 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb2024-04-26 10:22 23M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb2024-04-26 10:56 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb2024-04-26 10:17 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb2024-04-26 10:22 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb2024-04-26 14:50 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-1_s390x.deb2024-04-26 11:06 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb2024-06-15 02:46 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb2024-06-15 03:02 23M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb2024-06-15 02:47 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb2024-06-15 02:47 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_ppc64el.deb2024-06-15 02:47 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_riscv64.deb2024-06-15 04:13 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-2_s390x.deb2024-06-15 02:52 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b1_amd64.deb2024-08-08 13:58 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b1_arm64.deb2024-08-08 13:58 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b1_ppc64el.deb2024-08-08 13:33 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b1_riscv64.deb2024-08-08 17:03 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b1_s390x.deb2024-08-10 18:28 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb2024-08-20 14:10 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b2_arm64.deb2024-08-20 14:16 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b2_ppc64el.deb2024-08-20 14:11 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb2024-08-20 15:44 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b2_s390x.deb2024-08-20 14:47 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3+b3_ppc64el.deb2024-08-30 02:07 24M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb2024-08-03 05:04 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_arm64.deb2024-08-03 05:20 23M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_armhf.deb2024-08-03 05:15 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_i386.deb2024-08-03 05:04 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_ppc64el.deb2024-08-03 05:09 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_riscv64.deb2024-08-03 07:01 22M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3_s390x.deb2024-08-03 14:37 22M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b1_amd64.deb2025-01-28 12:00 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b1_arm64.deb2025-01-28 15:47 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b1_ppc64el.deb2025-01-28 11:09 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b1_riscv64.deb2025-01-28 15:57 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b1_s390x.deb2025-01-30 00:46 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b2_amd64.deb2025-02-12 22:14 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b2_arm64.deb2025-02-12 22:30 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b2_ppc64el.deb2025-02-12 22:19 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b2_riscv64.deb2025-02-12 23:37 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1+b2_s390x.deb2025-02-13 03:36 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb2024-11-20 05:33 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb2024-11-20 05:58 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb2024-11-20 06:00 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb2024-11-20 08:10 25M 
[ ]libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb2024-11-20 10:02 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb2025-06-14 21:07 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 01:17 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 01:53 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 00:52 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 08:17 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb2025-02-17 12:12 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb2025-02-17 12:33 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb2025-02-17 12:28 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb2025-02-17 18:39 25M 
[ ]libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb2025-02-17 23:34 25M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 3.6M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 3.9M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 3.8M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 3.6M 
[ ]libcoq-ocaml-dev_8.6-4_amd64.deb2016-12-29 19:56 13M 
[ ]libcoq-ocaml-dev_8.6-4_arm64.deb2016-12-29 20:57 13M 
[ ]libcoq-ocaml-dev_8.6-4_armel.deb2016-12-29 22:12 13M 
[ ]libcoq-ocaml-dev_8.6-4_armhf.deb2016-12-29 22:12 13M 
[ ]libcoq-ocaml-dev_8.6-4_i386.deb2016-12-29 20:57 13M 
[ ]libcoq-ocaml-dev_8.6-4_mips.deb2016-12-30 02:57 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_mips64el.deb2016-12-30 09:29 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_mipsel.deb2016-12-30 02:57 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_ppc64el.deb2016-12-29 22:57 9.6M 
[ ]libcoq-ocaml-dev_8.6-4_s390x.deb2016-12-30 00:27 9.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-06 13:49 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_arm64.deb2019-02-06 15:26 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_armel.deb2019-02-06 20:44 7.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_armhf.deb2019-02-07 16:15 14M 
[ ]libcoq-ocaml-dev_8.9.0-1_i386.deb2019-02-06 15:21 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_mips.deb2019-02-06 22:15 7.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_mips64el.deb2019-02-09 03:29 7.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_mipsel.deb2019-02-06 19:59 7.6M 
[ ]libcoq-ocaml-dev_8.9.0-1_ppc64el.deb2019-02-06 15:00 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_s390x.deb2019-02-06 15:00 13M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2020-11-25 02:28 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb2020-11-25 02:58 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_armel.deb2020-11-25 12:44 11M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb2020-11-25 02:43 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_i386.deb2020-11-25 02:18 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb2020-11-25 11:41 11M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb2020-11-25 19:43 11M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb2020-11-25 02:28 19M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_amd64.deb2022-01-20 18:58 37M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_arm64.deb2022-01-20 19:14 37M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_armhf.deb2022-01-20 20:15 38M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_i386.deb2022-01-20 18:48 37M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_ppc64el.deb2022-01-20 19:40 38M 
[ ]libcoq-ocaml-dev_8.15.0+dfsg-1+b1_s390x.deb2022-01-20 18:58 37M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_amd64.deb2014-07-27 11:26 1.6M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_armel.deb2014-07-27 14:28 1.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_armhf.deb2014-07-27 17:28 1.5M 
[ ]libcoq-ocaml_8.4pl4dfsg-1_i386.deb2014-07-27 12:57 1.4M 
[ ]libcoq-ocaml_8.6-4_amd64.deb2016-12-29 19:56 3.3M 
[ ]libcoq-ocaml_8.6-4_arm64.deb2016-12-29 20:57 3.3M 
[ ]libcoq-ocaml_8.6-4_armel.deb2016-12-29 22:12 3.4M 
[ ]libcoq-ocaml_8.6-4_armhf.deb2016-12-29 22:12 3.4M 
[ ]libcoq-ocaml_8.6-4_i386.deb2016-12-29 20:57 3.2M 
[ ]libcoq-ocaml_8.6-4_mips.deb2016-12-30 02:57 2.3M 
[ ]libcoq-ocaml_8.6-4_mips64el.deb2016-12-30 09:29 2.3M 
[ ]libcoq-ocaml_8.6-4_mipsel.deb2016-12-30 02:57 2.3M 
[ ]libcoq-ocaml_8.6-4_ppc64el.deb2016-12-29 22:57 2.3M 
[ ]libcoq-ocaml_8.6-4_s390x.deb2016-12-30 00:27 2.3M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-06 13:49 5.2M 
[ ]libcoq-ocaml_8.9.0-1_arm64.deb2019-02-06 15:26 5.5M 
[ ]libcoq-ocaml_8.9.0-1_armel.deb2019-02-06 20:44 3.4M 
[ ]libcoq-ocaml_8.9.0-1_armhf.deb2019-02-07 16:15 5.1M 
[ ]libcoq-ocaml_8.9.0-1_i386.deb2019-02-06 15:21 4.9M 
[ ]libcoq-ocaml_8.9.0-1_mips.deb2019-02-06 22:15 3.4M 
[ ]libcoq-ocaml_8.9.0-1_mips64el.deb2019-02-09 03:29 3.4M 
[ ]libcoq-ocaml_8.9.0-1_mipsel.deb2019-02-06 19:59 3.4M 
[ ]libcoq-ocaml_8.9.0-1_ppc64el.deb2019-02-06 15:00 5.3M 
[ ]libcoq-ocaml_8.9.0-1_s390x.deb2019-02-06 15:00 5.3M 
[ ]libcoq-ocaml_8.12.0-3+b3_amd64.deb2020-11-25 02:28 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_arm64.deb2020-11-25 02:58 7.6M 
[ ]libcoq-ocaml_8.12.0-3+b3_armel.deb2020-11-25 12:44 5.2M 
[ ]libcoq-ocaml_8.12.0-3+b3_armhf.deb2020-11-25 02:43 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_i386.deb2020-11-25 02:18 7.2M 
[ ]libcoq-ocaml_8.12.0-3+b3_mips64el.deb2020-11-25 11:41 5.2M 
[ ]libcoq-ocaml_8.12.0-3+b3_mipsel.deb2020-11-25 19:43 5.2M 
[ ]libcoq-ocaml_8.12.0-3+b3_ppc64el.deb2020-11-25 02:28 7.5M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_amd64.deb2022-01-20 18:58 21M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_arm64.deb2022-01-20 19:14 22M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_armhf.deb2022-01-20 20:15 21M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_i386.deb2022-01-20 18:48 21M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_ppc64el.deb2022-01-20 19:40 22M 
[ ]libcoq-ocaml_8.15.0+dfsg-1+b1_s390x.deb2022-01-20 18:58 21M 
[ ]libcoq-stdlib_8.15.0+dfsg-2+b1_amd64.deb2022-02-07 18:13 20M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_arm64.deb2022-02-05 09:00 20M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_armhf.deb2022-02-05 09:00 20M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_i386.deb2022-02-05 08:44 20M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb2022-02-05 08:44 20M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_s390x.deb2022-02-05 08:50 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_amd64.deb2022-03-22 18:58 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_arm64.deb2022-03-22 19:13 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_armhf.deb2022-03-22 19:14 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_i386.deb2022-03-22 19:14 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_ppc64el.deb2022-03-22 19:29 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-1_s390x.deb2022-03-22 20:40 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_amd64.deb2022-05-20 15:13 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_arm64.deb2022-05-20 15:29 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_armhf.deb2022-05-20 15:29 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_i386.deb2022-05-20 15:14 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_ppc64el.deb2022-05-20 15:14 20M 
[ ]libcoq-stdlib_8.15.1+dfsg-2_s390x.deb2022-05-20 15:03 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_amd64.deb2022-05-31 17:28 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_arm64.deb2022-05-31 17:42 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_armhf.deb2022-05-31 18:28 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_i386.deb2022-05-31 17:13 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_ppc64el.deb2022-05-31 17:28 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-1_s390x.deb2022-05-31 20:14 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_amd64.deb2022-06-11 17:42 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_arm64.deb2022-06-11 17:57 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_armhf.deb2022-06-11 18:42 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_i386.deb2022-06-11 17:42 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_ppc64el.deb2022-06-11 17:30 20M 
[ ]libcoq-stdlib_8.15.2+dfsg-2_s390x.deb2022-06-11 23:40 20M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_amd64.deb2022-09-06 07:10 21M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_arm64.deb2022-09-06 07:15 21M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_armhf.deb2022-09-06 07:10 21M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_i386.deb2022-09-06 08:26 21M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_ppc64el.deb2022-09-06 08:56 21M 
[ ]libcoq-stdlib_8.16.0+dfsg-1_s390x.deb2022-09-06 13:45 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_amd64.deb2023-01-23 13:29 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_arm64.deb2023-01-23 13:44 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_armhf.deb2023-01-23 14:15 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_i386.deb2023-01-23 14:26 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_ppc64el.deb2023-01-23 14:00 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b1_s390x.deb2023-01-23 13:24 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2023-02-12 20:14 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb2023-02-12 20:55 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb2023-02-12 20:55 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb2023-02-12 20:29 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb2023-02-12 22:13 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb2023-02-12 20:45 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_amd64.deb2022-11-29 05:11 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_arm64.deb2022-11-29 06:12 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_armhf.deb2022-11-29 05:57 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_i386.deb2022-11-29 04:55 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_ppc64el.deb2022-11-29 05:26 21M 
[ ]libcoq-stdlib_8.16.1+dfsg-1_s390x.deb2022-11-29 08:13 21M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_amd64.deb2023-07-22 18:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_arm64.deb2023-07-22 18:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_armhf.deb2023-07-22 18:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_i386.deb2023-07-22 18:58 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_ppc64el.deb2023-07-22 18:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_riscv64.deb2023-09-23 14:02 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b1_s390x.deb2023-07-22 22:56 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_amd64.deb2023-07-23 01:13 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_arm64.deb2023-07-23 03:16 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_armhf.deb2023-07-23 01:44 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_i386.deb2023-07-23 01:13 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_ppc64el.deb2023-07-23 02:40 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b2_s390x.deb2023-07-23 17:40 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_amd64.deb2023-09-22 02:56 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_arm64.deb2023-09-22 03:57 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_armhf.deb2023-09-22 03:16 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_i386.deb2023-09-22 03:01 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_ppc64el.deb2023-09-22 03:26 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1+b3_s390x.deb2023-09-22 02:40 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_amd64.deb2023-06-12 04:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_arm64.deb2023-06-13 00:34 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_armhf.deb2023-06-12 16:02 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_i386.deb2023-06-12 05:12 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_ppc64el.deb2023-06-15 02:10 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_riscv64.deb2023-08-30 03:10 24M 
[ ]libcoq-stdlib_8.17.0+dfsg-1_s390x.deb2023-06-12 05:12 24M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb2024-03-13 01:25 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb2024-03-12 23:35 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb2024-03-25 07:12 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb2024-03-13 01:46 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb2024-03-13 00:28 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb2024-03-27 05:10 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb2024-03-13 07:53 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_amd64.deb2023-12-21 12:16 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_arm64.deb2023-12-21 10:19 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_armhf.deb2023-12-21 10:24 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_i386.deb2023-12-21 13:21 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb2023-12-21 11:50 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_riscv64.deb2023-12-21 19:09 22M 
[ ]libcoq-stdlib_8.18.0+dfsg-1_s390x.deb2023-12-21 10:14 22M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_amd64.deb2024-04-26 10:22 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_arm64.deb2024-04-26 10:22 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_armhf.deb2024-04-26 10:56 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_i386.deb2024-04-26 10:17 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb2024-04-26 10:22 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb2024-04-26 14:50 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-1_s390x.deb2024-04-26 11:06 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_amd64.deb2024-06-15 02:46 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_arm64.deb2024-06-15 03:02 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_armhf.deb2024-06-15 02:47 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_i386.deb2024-06-15 02:47 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_ppc64el.deb2024-06-15 02:47 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_riscv64.deb2024-06-15 04:13 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-2_s390x.deb2024-06-15 02:52 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b1_amd64.deb2024-08-08 13:58 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b1_arm64.deb2024-08-08 13:58 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b1_ppc64el.deb2024-08-08 13:33 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b1_riscv64.deb2024-08-08 17:03 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b1_s390x.deb2024-08-10 18:28 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb2024-08-20 14:10 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b2_arm64.deb2024-08-20 14:16 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b2_ppc64el.deb2024-08-20 14:11 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb2024-08-20 15:44 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b2_s390x.deb2024-08-20 14:47 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3+b3_ppc64el.deb2024-08-30 02:07 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_amd64.deb2024-08-03 05:04 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_arm64.deb2024-08-03 05:20 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_armhf.deb2024-08-03 05:15 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_i386.deb2024-08-03 05:04 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_ppc64el.deb2024-08-03 05:09 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_riscv64.deb2024-08-03 07:01 23M 
[ ]libcoq-stdlib_8.19.1+dfsg-3_s390x.deb2024-08-03 14:37 23M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b1_amd64.deb2025-01-28 12:00 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b1_arm64.deb2025-01-28 15:47 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b1_ppc64el.deb2025-01-28 11:09 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b1_riscv64.deb2025-01-28 15:57 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b1_s390x.deb2025-01-30 00:46 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b2_amd64.deb2025-02-12 22:14 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b2_arm64.deb2025-02-12 22:30 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b2_ppc64el.deb2025-02-12 22:19 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b2_riscv64.deb2025-02-12 23:37 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1+b2_s390x.deb2025-02-13 03:36 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1_amd64.deb2024-11-20 05:33 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1_arm64.deb2024-11-20 05:58 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb2024-11-20 06:00 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb2024-11-20 08:10 22M 
[ ]libcoq-stdlib_8.20.0+dfsg-1_s390x.deb2024-11-20 10:02 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb2025-06-14 21:07 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb2025-06-15 01:17 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb2025-06-15 01:53 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb2025-06-15 00:52 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb2025-06-16 08:17 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1_amd64.deb2025-02-17 12:12 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1_arm64.deb2025-02-17 12:33 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb2025-02-17 12:28 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb2025-02-17 18:39 22M 
[ ]libcoq-stdlib_8.20.1+dfsg-1_s390x.deb2025-02-17 23:34 22M