| / | | |
| coq-theories_8.12.0-3+b3_amd64.deb | 36,501,836 | Wed, 25 Nov 2020 07:28:14 +0000 |
| coq-theories_8.12.0-3+b3_arm64.deb | 23,925,860 | Wed, 25 Nov 2020 07:58:53 +0000 |
| coq-theories_8.12.0-3+b3_armhf.deb | 23,918,664 | Wed, 25 Nov 2020 07:43:49 +0000 |
| coq-theories_8.12.0-3+b3_i386.deb | 35,237,680 | Wed, 25 Nov 2020 07:18:08 +0000 |
| coq_8.12.0-3+b3_amd64.deb | 90,453,192 | Wed, 25 Nov 2020 07:28:15 +0000 |
| coq_8.12.0-3+b3_arm64.deb | 96,071,892 | Wed, 25 Nov 2020 07:58:54 +0000 |
| coq_8.12.0-3+b3_armhf.deb | 88,355,300 | Wed, 25 Nov 2020 07:43:49 +0000 |
| coq_8.12.0-3+b3_i386.deb | 87,886,220 | Wed, 25 Nov 2020 07:18:08 +0000 |
| coq_8.12.0-3.debian.tar.xz | 37,772 | Thu, 10 Sep 2020 06:38:30 +0000 |
| coq_8.12.0-3.dsc | 2,483 | Thu, 10 Sep 2020 06:38:30 +0000 |
| coq_8.12.0.orig.tar.gz | 6,008,211 | Sat, 22 Aug 2020 09:26:38 +0000 |
| coq_8.16.1+dfsg-1+b2_amd64.deb | 93,212,572 | Mon, 13 Feb 2023 01:14:24 +0000 |
| coq_8.16.1+dfsg-1+b2_arm64.deb | 102,168,100 | Mon, 13 Feb 2023 01:55:59 +0000 |
| coq_8.16.1+dfsg-1+b2_armhf.deb | 89,867,592 | Mon, 13 Feb 2023 01:55:40 +0000 |
| coq_8.16.1+dfsg-1+b2_i386.deb | 87,517,396 | Mon, 13 Feb 2023 01:29:50 +0000 |
| coq_8.16.1+dfsg-1+b2_ppc64el.deb | 93,886,792 | Mon, 13 Feb 2023 03:13:43 +0000 |
| coq_8.16.1+dfsg-1+b2_s390x.deb | 93,314,900 | Mon, 13 Feb 2023 01:45:24 +0000 |
| coq_8.16.1+dfsg-1.debian.tar.xz | 33,236 | Tue, 29 Nov 2022 08:35:18 +0000 |
| coq_8.16.1+dfsg-1.dsc | 2,629 | Tue, 29 Nov 2022 08:35:18 +0000 |
| coq_8.16.1+dfsg.orig.tar.xz | 4,717,668 | Tue, 29 Nov 2022 08:35:18 +0000 |
| coq_8.20.1+dfsg-1+b1_amd64.deb | 70,222,224 | Sun, 15 Jun 2025 01:07:23 +0000 |
| coq_8.20.1+dfsg-1+b1_arm64.deb | 74,446,016 | Sun, 15 Jun 2025 05:17:48 +0000 |
| coq_8.20.1+dfsg-1+b1_ppc64el.deb | 70,854,312 | Sun, 15 Jun 2025 05:53:15 +0000 |
| coq_8.20.1+dfsg-1+b1_riscv64.deb | 71,194,768 | Sun, 15 Jun 2025 04:52:35 +0000 |
| coq_8.20.1+dfsg-1+b1_s390x.deb | 71,035,152 | Mon, 16 Jun 2025 12:17:39 +0000 |
| coq_8.20.1+dfsg-1.debian.tar.xz | 30,208 | Mon, 17 Feb 2025 16:37:02 +0000 |
| coq_8.20.1+dfsg-1.dsc | 2,582 | Mon, 17 Feb 2025 16:37:02 +0000 |
| coq_8.20.1+dfsg.orig.tar.xz | 5,014,988 | Mon, 17 Feb 2025 16:37:02 +0000 |
| coqide_8.12.0-3+b3_amd64.deb | 1,879,212 | Wed, 25 Nov 2020 07:28:15 +0000 |
| coqide_8.12.0-3+b3_arm64.deb | 2,170,596 | Wed, 25 Nov 2020 07:58:54 +0000 |
| coqide_8.12.0-3+b3_armhf.deb | 1,736,840 | Wed, 25 Nov 2020 07:43:49 +0000 |
| coqide_8.12.0-3+b3_i386.deb | 1,723,020 | Wed, 25 Nov 2020 07:18:08 +0000 |
| coqide_8.16.1+dfsg-1+b2_amd64.deb | 1,993,412 | Mon, 13 Feb 2023 01:14:24 +0000 |
| coqide_8.16.1+dfsg-1+b2_arm64.deb | 2,310,756 | Mon, 13 Feb 2023 01:55:59 +0000 |
| coqide_8.16.1+dfsg-1+b2_armhf.deb | 1,834,728 | Mon, 13 Feb 2023 01:55:40 +0000 |
| coqide_8.16.1+dfsg-1+b2_i386.deb | 1,806,236 | Mon, 13 Feb 2023 01:29:50 +0000 |
| coqide_8.16.1+dfsg-1+b2_ppc64el.deb | 2,076,580 | Mon, 13 Feb 2023 03:13:43 +0000 |
| coqide_8.16.1+dfsg-1+b2_s390x.deb | 1,979,904 | Mon, 13 Feb 2023 01:45:24 +0000 |
| coqide_8.20.1+dfsg-1+b1_amd64.deb | 1,930,360 | Sun, 15 Jun 2025 01:07:23 +0000 |
| coqide_8.20.1+dfsg-1+b1_arm64.deb | 2,246,476 | Sun, 15 Jun 2025 05:17:48 +0000 |
| coqide_8.20.1+dfsg-1+b1_ppc64el.deb | 1,970,152 | Sun, 15 Jun 2025 05:53:15 +0000 |
| coqide_8.20.1+dfsg-1+b1_riscv64.deb | 1,994,992 | Sun, 15 Jun 2025 04:52:35 +0000 |
| coqide_8.20.1+dfsg-1+b1_s390x.deb | 1,974,864 | Mon, 16 Jun 2025 12:17:39 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb | 42,725,424 | Mon, 13 Feb 2023 01:14:24 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb | 42,825,080 | Mon, 13 Feb 2023 01:55:59 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb | 43,114,464 | Mon, 13 Feb 2023 01:55:40 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb | 42,449,528 | Mon, 13 Feb 2023 01:29:50 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb | 43,561,824 | Mon, 13 Feb 2023 03:13:44 +0000 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb | 42,245,924 | Mon, 13 Feb 2023 01:45:25 +0000 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb | 68,700,208 | Sun, 15 Jun 2025 01:07:24 +0000 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb | 68,569,160 | Sun, 15 Jun 2025 05:17:48 +0000 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb | 69,333,132 | Sun, 15 Jun 2025 05:53:15 +0000 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb | 73,545,616 | Sun, 15 Jun 2025 04:52:35 +0000 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb | 68,187,812 | Mon, 16 Jun 2025 12:17:39 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb | 22,556,068 | Mon, 13 Feb 2023 01:14:24 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb | 23,093,000 | Mon, 13 Feb 2023 01:55:59 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb | 22,259,280 | Mon, 13 Feb 2023 01:55:40 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb | 21,747,176 | Mon, 13 Feb 2023 01:29:50 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb | 22,620,372 | Mon, 13 Feb 2023 03:13:44 +0000 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb | 22,619,920 | Mon, 13 Feb 2023 01:45:25 +0000 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb | 25,955,760 | Sun, 15 Jun 2025 01:07:24 +0000 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb | 26,387,968 | Sun, 15 Jun 2025 05:17:48 +0000 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb | 25,980,948 | Sun, 15 Jun 2025 05:53:15 +0000 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb | 26,021,184 | Sun, 15 Jun 2025 04:52:35 +0000 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb | 26,001,128 | Mon, 16 Jun 2025 12:17:39 +0000 |
| libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb | 18,727,404 | Wed, 25 Nov 2020 07:28:15 +0000 |
| libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb | 18,726,796 | Wed, 25 Nov 2020 07:58:54 +0000 |
| libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb | 19,195,248 | Wed, 25 Nov 2020 07:43:50 +0000 |
| libcoq-ocaml-dev_8.12.0-3+b3_i386.deb | 18,658,564 | Wed, 25 Nov 2020 07:18:08 +0000 |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb | 7,758,156 | Wed, 25 Nov 2020 07:28:15 +0000 |
| libcoq-ocaml_8.12.0-3+b3_arm64.deb | 7,980,456 | Wed, 25 Nov 2020 07:58:54 +0000 |
| libcoq-ocaml_8.12.0-3+b3_armhf.deb | 7,743,064 | Wed, 25 Nov 2020 07:43:50 +0000 |
| libcoq-ocaml_8.12.0-3+b3_i386.deb | 7,575,772 | Wed, 25 Nov 2020 07:18:09 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb | 21,526,056 | Mon, 13 Feb 2023 01:14:24 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb | 21,528,036 | Mon, 13 Feb 2023 01:55:59 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb | 21,527,688 | Mon, 13 Feb 2023 01:55:40 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb | 21,528,432 | Mon, 13 Feb 2023 01:29:50 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb | 21,528,192 | Mon, 13 Feb 2023 03:13:44 +0000 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb | 21,529,156 | Mon, 13 Feb 2023 01:45:25 +0000 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb | 23,527,164 | Sun, 15 Jun 2025 01:07:24 +0000 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb | 23,531,376 | Sun, 15 Jun 2025 05:17:48 +0000 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb | 23,529,048 | Sun, 15 Jun 2025 05:53:16 +0000 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb | 23,528,068 | Sun, 15 Jun 2025 04:52:36 +0000 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb | 23,528,344 | Mon, 16 Jun 2025 12:17:39 +0000 |