| Parent Directory/ | | - | Directory |
| coq-theories_8.11.0-1_arm64.deb | 2020-Mar-06 17:13:21 | 20.4M | application/vnd.debian.binary-package |
| coq-theories_8.11.0-1_ppc64el.deb | 2020-Mar-11 18:53:26 | 20.4M | application/vnd.debian.binary-package |
| coq-theories_8.4pl3dfsg-1_all.deb | 2014-Jan-20 07:58:43 | 30.5M | application/vnd.debian.binary-package |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-Nov-04 22:04:33 | 30.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_arm64.deb | 2017-Oct-29 00:20:10 | 21.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_armhf.deb | 2017-Oct-29 00:20:31 | 21.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_ppc64el.deb | 2017-Oct-28 23:34:55 | 21.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_s390x.deb | 2017-Oct-28 23:34:59 | 21.7M | application/vnd.debian.binary-package |
| coq_8.11.0-1.debian.tar.xz | 2020-Mar-06 15:53:17 | 30.9K | application/x-xz |
| coq_8.11.0-1.dsc | 2020-Mar-06 15:53:16 | 2.4K | application/octet-stream |
| coq_8.11.0-1_arm64.deb | 2020-Mar-06 17:13:24 | 80.0M | application/vnd.debian.binary-package |
| coq_8.11.0-1_ppc64el.deb | 2020-Mar-11 18:53:28 | 75.1M | application/vnd.debian.binary-package |
| coq_8.11.0.orig.tar.gz | 2020-Mar-06 15:53:17 | 5.5M | application/gzip |
| coq_8.15.0+dfsg-2.debian.tar.xz | 2022-Feb-06 01:49:53 | 38.7K | application/x-xz |
| coq_8.15.0+dfsg-2.dsc | 2022-Feb-06 01:49:53 | 2.5K | application/octet-stream |
| coq_8.15.0+dfsg-2_arm64.deb | 2022-Feb-06 20:54:01 | 101.7M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg-2_armhf.deb | 2022-Feb-06 07:53:12 | 88.9M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg-2_ppc64el.deb | 2022-Feb-06 07:53:22 | 93.7M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg-2_riscv64.deb | 2022-Feb-06 07:53:34 | 90.5M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg-2_s390x.deb | 2022-Feb-06 07:53:50 | 92.7M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg.orig.tar.xz | 2022-Jan-18 07:14:25 | 4.4M | application/x-xz |
| coq_8.16.1+dfsg-1build2.debian.tar.xz | 2023-Feb-16 18:06:43 | 32.5K | application/x-xz |
| coq_8.16.1+dfsg-1build2.dsc | 2023-Feb-16 18:06:43 | 2.5K | application/octet-stream |
| coq_8.16.1+dfsg-1build2_arm64.deb | 2023-Feb-16 18:58:20 | 117.2M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1build2_armhf.deb | 2023-Feb-16 18:58:24 | 101.8M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1build2_ppc64el.deb | 2023-Feb-16 18:58:27 | 107.5M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1build2_riscv64.deb | 2023-Feb-16 23:11:43 | 103.5M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg-1build2_s390x.deb | 2023-Feb-16 18:58:30 | 106.3M | application/vnd.debian.binary-package |
| coq_8.16.1+dfsg.orig.tar.xz | 2022-Nov-30 01:24:12 | 4.5M | application/x-xz |
| coq_8.17.0+dfsg-1build1.debian.tar.xz | 2023-Jul-25 01:37:46 | 32.3K | application/x-xz |
| coq_8.17.0+dfsg-1build1.dsc | 2023-Jul-25 01:37:46 | 2.5K | application/octet-stream |
| coq_8.17.0+dfsg-1build1_arm64.deb | 2023-Jul-25 02:09:50 | 98.6M | application/vnd.debian.binary-package |
| coq_8.17.0+dfsg-1build1_armhf.deb | 2023-Jul-25 02:09:53 | 86.7M | application/vnd.debian.binary-package |
| coq_8.17.0+dfsg-1build1_ppc64el.deb | 2023-Jul-25 01:37:53 | 91.1M | application/vnd.debian.binary-package |
| coq_8.17.0+dfsg-1build1_riscv64.deb | 2023-Jul-25 07:19:19 | 87.5M | application/vnd.debian.binary-package |
| coq_8.17.0+dfsg-1build1_s390x.deb | 2023-Jul-25 02:09:55 | 90.1M | application/vnd.debian.binary-package |
| coq_8.17.0+dfsg.orig.tar.xz | 2023-Jun-13 02:01:56 | 4.5M | application/x-xz |
| coq_8.18.0+dfsg-1build2.debian.tar.xz | 2024-Apr-01 02:36:47 | 32.5K | application/x-xz |
| coq_8.18.0+dfsg-1build2.dsc | 2024-Apr-01 02:36:47 | 2.6K | application/octet-stream |
| coq_8.18.0+dfsg-1build2_arm64.deb | 2024-Apr-01 09:55:44 | 101.7M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg-1build2_armhf.deb | 2024-Apr-01 09:55:48 | 89.3M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg-1build2_ppc64el.deb | 2024-Apr-01 05:34:35 | 93.9M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg-1build2_riscv64.deb | 2024-Apr-01 09:56:34 | 93.4M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg-1build2_s390x.deb | 2024-Apr-01 04:38:30 | 92.9M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg.orig.tar.xz | 2023-Dec-23 03:46:56 | 4.6M | application/x-xz |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-Jan-20 07:18:52 | 15.4K | application/x-xz |
| coq_8.4pl3dfsg-1.dsc | 2014-Jan-20 07:18:53 | 2.3K | application/octet-stream |
| coq_8.4pl3dfsg-1_arm64.deb | 2014-Jan-20 11:43:22 | 1.0M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg-1_armhf.deb | 2014-Jan-20 09:03:21 | 3.7M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg-1_powerpc.deb | 2014-Jan-20 08:23:30 | 3.4M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg-1_ppc64el.deb | 2014-Feb-18 10:43:40 | 1.0M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg.orig.tar.gz | 2014-Jan-20 07:18:53 | 3.3M | application/gzip |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-Nov-04 21:14:21 | 15.7K | application/x-xz |
| coq_8.4pl4dfsg-3build2.dsc | 2015-Nov-04 21:14:21 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-3build2_arm64.deb | 2015-Nov-04 22:29:38 | 3.7M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-3build2_armhf.deb | 2015-Nov-04 22:55:04 | 3.6M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-3build2_powerpc.deb | 2015-Nov-04 21:39:46 | 3.2M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-3build2_ppc64el.deb | 2015-Nov-04 22:55:44 | 0.9M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-3build2_s390x.deb | 2016-Jan-06 00:35:27 | 0.9M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-Jul-28 07:13:17 | 3.3M | application/gzip |
| coq_8.6-5build1.debian.tar.xz | 2017-Oct-28 22:39:28 | 21.3K | application/x-xz |
| coq_8.6-5build1.dsc | 2017-Oct-28 22:39:28 | 2.3K | application/octet-stream |
| coq_8.6-5build1_arm64.deb | 2017-Oct-29 00:20:11 | 17.9M | application/vnd.debian.binary-package |
| coq_8.6-5build1_armhf.deb | 2017-Oct-29 00:20:30 | 16.2M | application/vnd.debian.binary-package |
| coq_8.6-5build1_ppc64el.deb | 2017-Oct-28 23:34:54 | 17.3M | application/vnd.debian.binary-package |
| coq_8.6-5build1_s390x.deb | 2017-Oct-28 23:35:00 | 17.1M | application/vnd.debian.binary-package |
| coq_8.6.orig.tar.gz | 2016-Dec-29 01:13:41 | 4.7M | application/gzip |
| coqide_8.11.0-1_arm64.deb | 2020-Mar-06 17:13:24 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.11.0-1_ppc64el.deb | 2020-Mar-11 18:53:25 | 1.8M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_arm64.deb | 2022-Feb-06 20:54:00 | 2.7M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_armhf.deb | 2022-Feb-06 07:53:12 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_ppc64el.deb | 2022-Feb-06 07:53:22 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_riscv64.deb | 2022-Feb-06 07:53:32 | 2.2M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_s390x.deb | 2022-Feb-06 07:53:50 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1build2_arm64.deb | 2023-Feb-16 18:58:20 | 2.6M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1build2_armhf.deb | 2023-Feb-16 18:58:22 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1build2_ppc64el.deb | 2023-Feb-16 18:58:27 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1build2_riscv64.deb | 2023-Feb-16 23:11:45 | 2.1M | application/vnd.debian.binary-package |
| coqide_8.16.1+dfsg-1build2_s390x.deb | 2023-Feb-16 18:58:30 | 2.2M | application/vnd.debian.binary-package |
| coqide_8.17.0+dfsg-1build1_arm64.deb | 2023-Jul-25 02:09:51 | 2.6M | application/vnd.debian.binary-package |
| coqide_8.17.0+dfsg-1build1_armhf.deb | 2023-Jul-25 02:09:52 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.17.0+dfsg-1build1_ppc64el.deb | 2023-Jul-25 01:37:53 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.17.0+dfsg-1build1_riscv64.deb | 2023-Jul-25 07:19:17 | 2.1M | application/vnd.debian.binary-package |
| coqide_8.17.0+dfsg-1build1_s390x.deb | 2023-Jul-25 02:09:55 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_arm64.deb | 2024-Apr-01 09:55:43 | 2.7M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_armhf.deb | 2024-Apr-01 09:55:48 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_ppc64el.deb | 2024-Apr-01 05:34:35 | 2.4M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_riscv64.deb | 2024-Apr-01 09:56:33 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_s390x.deb | 2024-Apr-01 04:38:29 | 2.3M | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_arm64.deb | 2014-Jan-20 11:43:22 | 198.3K | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_armhf.deb | 2014-Jan-20 09:03:21 | 757.5K | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_powerpc.deb | 2014-Jan-20 08:23:30 | 627.1K | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_ppc64el.deb | 2014-Feb-18 10:43:40 | 198.2K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_arm64.deb | 2015-Nov-04 22:29:38 | 753.8K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_armhf.deb | 2015-Nov-04 22:55:05 | 762.5K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_powerpc.deb | 2015-Nov-04 21:39:45 | 648.7K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_ppc64el.deb | 2015-Nov-04 22:55:44 | 207.8K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_s390x.deb | 2016-Jan-06 00:35:26 | 207.8K | application/vnd.debian.binary-package |
| coqide_8.6-5build1_arm64.deb | 2017-Oct-29 00:20:12 | 1.6M | application/vnd.debian.binary-package |
| coqide_8.6-5build1_armhf.deb | 2017-Oct-29 00:20:30 | 1.3M | application/vnd.debian.binary-package |
| coqide_8.6-5build1_ppc64el.deb | 2017-Oct-28 23:34:56 | 1.7M | application/vnd.debian.binary-package |
| coqide_8.6-5build1_s390x.deb | 2017-Oct-28 23:34:58 | 1.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb | 2022-Feb-06 20:53:58 | 43.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb | 2022-Feb-06 07:53:13 | 43.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb | 2022-Feb-06 07:53:23 | 43.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb | 2022-Feb-06 07:53:33 | 43.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb | 2022-Feb-06 07:53:45 | 43.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64.deb | 2023-Feb-16 18:58:19 | 47.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf.deb | 2023-Feb-16 18:58:23 | 47.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_ppc64el.deb | 2023-Feb-16 18:58:26 | 48.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_riscv64.deb | 2023-Feb-16 23:11:44 | 53.1M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_s390x.deb | 2023-Feb-16 18:58:31 | 46.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64.deb | 2023-Jul-25 02:09:50 | 47.9M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf.deb | 2023-Jul-25 02:09:52 | 48.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_ppc64el.deb | 2023-Jul-25 01:37:54 | 48.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_riscv64.deb | 2023-Jul-25 07:19:18 | 53.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_s390x.deb | 2023-Jul-25 02:09:53 | 47.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb | 2024-Apr-01 09:55:42 | 49.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb | 2024-Apr-01 09:55:47 | 49.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb | 2024-Apr-01 05:34:34 | 50.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb | 2024-Apr-01 09:56:32 | 56.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb | 2024-Apr-01 04:38:29 | 48.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb | 2022-Feb-06 20:53:59 | 27.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb | 2022-Feb-06 07:53:13 | 25.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb | 2022-Feb-06 07:53:22 | 26.1M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb | 2022-Feb-06 07:53:33 | 25.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb | 2022-Feb-06 07:53:43 | 26.2M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb | 2023-Feb-16 18:58:20 | 27.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb | 2023-Feb-16 18:58:23 | 25.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_ppc64el.deb | 2023-Feb-16 18:58:26 | 25.9M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_riscv64.deb | 2023-Feb-16 23:11:45 | 25.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.16.1+dfsg-1build2_s390x.deb | 2023-Feb-16 18:58:30 | 26.1M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb | 2023-Jul-25 02:09:51 | 27.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb | 2023-Jul-25 02:09:52 | 25.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_ppc64el.deb | 2023-Jul-25 01:37:55 | 26.2M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_riscv64.deb | 2023-Jul-25 07:19:18 | 25.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.17.0+dfsg-1build1_s390x.deb | 2023-Jul-25 02:09:54 | 26.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb | 2024-Apr-01 09:55:43 | 27.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb | 2024-Apr-01 09:55:48 | 26.2M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb | 2024-Apr-01 05:34:35 | 26.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb | 2024-Apr-01 09:56:33 | 26.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb | 2024-Apr-01 04:38:29 | 26.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.11.0-1_arm64.deb | 2020-Mar-06 17:13:25 | 15.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.11.0-1_ppc64el.deb | 2020-Mar-11 18:53:24 | 15.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb | 2014-Jan-20 11:43:21 | 1.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb | 2014-Jan-20 09:03:20 | 3.8M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb | 2014-Jan-20 08:23:29 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb | 2014-Feb-18 10:43:40 | 1.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb | 2015-Nov-04 22:29:38 | 3.7M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb | 2015-Nov-04 22:55:04 | 3.9M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb | 2015-Nov-04 21:39:46 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb | 2015-Nov-04 22:55:44 | 1.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb | 2016-Jan-06 00:35:26 | 1.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_arm64.deb | 2017-Oct-29 00:20:11 | 13.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_armhf.deb | 2017-Oct-29 00:20:31 | 13.6M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_ppc64el.deb | 2017-Oct-28 23:34:53 | 13.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_s390x.deb | 2017-Oct-28 23:34:59 | 13.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.11.0-1_arm64.deb | 2020-Mar-06 17:13:24 | 6.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.11.0-1_ppc64el.deb | 2020-Mar-11 18:53:25 | 6.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_arm64.deb | 2014-Jan-20 11:43:22 | 322.4K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_armhf.deb | 2014-Jan-20 09:03:20 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb | 2014-Jan-20 08:23:30 | 1.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb | 2014-Feb-18 10:43:40 | 321.7K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb | 2015-Nov-04 22:29:37 | 1.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb | 2015-Nov-04 22:55:05 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb | 2015-Nov-04 21:39:46 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb | 2015-Nov-04 22:55:43 | 327.7K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb | 2016-Jan-06 00:35:26 | 329.9K | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_arm64.deb | 2017-Oct-29 00:20:11 | 3.6M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_armhf.deb | 2017-Oct-29 00:20:30 | 3.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_ppc64el.deb | 2017-Oct-28 23:34:55 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_s390x.deb | 2017-Oct-28 23:34:58 | 3.4M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_arm64.deb | 2022-Feb-06 20:54:02 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_armhf.deb | 2022-Feb-06 07:53:11 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb | 2022-Feb-06 07:53:24 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb | 2022-Feb-06 07:53:34 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_s390x.deb | 2022-Feb-06 07:53:46 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb | 2023-Feb-16 18:58:19 | 23.3M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb | 2023-Feb-16 18:58:23 | 23.3M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1build2_ppc64el.deb | 2023-Feb-16 18:58:26 | 23.3M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1build2_riscv64.deb | 2023-Feb-16 23:11:43 | 23.3M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.16.1+dfsg-1build2_s390x.deb | 2023-Feb-16 18:58:29 | 23.3M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb | 2023-Jul-25 02:09:51 | 27.1M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb | 2023-Jul-25 02:09:51 | 27.1M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.17.0+dfsg-1build1_ppc64el.deb | 2023-Jul-25 01:37:54 | 27.1M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.17.0+dfsg-1build1_riscv64.deb | 2023-Jul-25 07:19:18 | 27.1M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.17.0+dfsg-1build1_s390x.deb | 2023-Jul-25 02:09:55 | 27.1M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb | 2024-Apr-01 09:55:42 | 25.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb | 2024-Apr-01 09:55:47 | 25.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb | 2024-Apr-01 05:34:34 | 25.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb | 2024-Apr-01 09:56:31 | 25.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb | 2024-Apr-01 04:38:28 | 25.2M | application/vnd.debian.binary-package |