| ../ | | - | Directory |
| coq-theories_8.11.0-1_amd64.deb | 2020-Mar-06 17:38:19 | 31.5M | application/vnd.debian.binary-package |
| coq-theories_8.4pl3dfsg-1_all.deb | 2014-Jan-20 08:58:43 | 30.5M | application/vnd.debian.binary-package |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-Nov-04 23:04:33 | 30.7M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_amd64.deb | 2017-Oct-29 00:34:40 | 31.6M | application/vnd.debian.binary-package |
| coq-theories_8.6-5build1_i386.deb | 2017-Oct-29 00:34:52 | 30.6M | application/vnd.debian.binary-package |
| coq_8.11.0-1.debian.tar.xz | 2020-Mar-06 16:53:17 | 30.9K | application/x-xz |
| coq_8.11.0-1.dsc | 2020-Mar-06 16:53:16 | 2.4K | application/octet-stream |
| coq_8.11.0-1_amd64.deb | 2020-Mar-06 17:38:18 | 73.0M | application/vnd.debian.binary-package |
| coq_8.11.0.orig.tar.gz | 2020-Mar-06 16:53:17 | 5.5M | application/x-gtar-compressed |
| coq_8.15.0+dfsg-2.debian.tar.xz | 2022-Feb-06 02:49:53 | 38.7K | application/x-xz |
| coq_8.15.0+dfsg-2.dsc | 2022-Feb-06 02:49:53 | 2.5K | application/octet-stream |
| coq_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 08:52:00 | 90.9M | application/vnd.debian.binary-package |
| coq_8.15.0+dfsg.orig.tar.xz | 2022-Jan-18 08:14:25 | 4.4M | application/x-xz |
| coq_8.18.0+dfsg-1build2.debian.tar.xz | 2024-Apr-01 03:36:47 | 32.5K | application/x-xz |
| coq_8.18.0+dfsg-1build2.dsc | 2024-Apr-01 03:36:47 | 2.6K | application/octet-stream |
| coq_8.18.0+dfsg-1build2_amd64.deb | 2024-Apr-01 04:32:22 | 91.4M | application/vnd.debian.binary-package |
| coq_8.18.0+dfsg.orig.tar.xz | 2023-Dec-23 04:46:56 | 4.6M | application/x-xz |
| coq_8.20.1+dfsg-1.debian.tar.xz | 2025-Feb-18 10:39:14 | 29.5K | application/x-xz |
| coq_8.20.1+dfsg-1.dsc | 2025-Feb-18 10:39:14 | 2.5K | application/octet-stream |
| coq_8.20.1+dfsg-1_amd64.deb | 2025-Feb-18 10:40:18 | 78.1M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg-1build1.debian.tar.xz | 2025-Jun-19 20:23:39 | 29.5K | application/x-xz |
| coq_8.20.1+dfsg-1build1.dsc | 2025-Jun-19 20:23:39 | 2.5K | application/octet-stream |
| coq_8.20.1+dfsg-1build1_amd64.deb | 2025-Jun-20 08:39:29 | 77.8M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg-1build1_arm64.deb | 2025-Jun-20 08:39:33 | 82.9M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg-1build4.debian.tar.xz | 2026-Mar-01 22:53:59 | 29.6K | application/x-xz |
| coq_8.20.1+dfsg-1build4.dsc | 2026-Mar-01 22:53:59 | 2.5K | application/octet-stream |
| coq_8.20.1+dfsg-1build4_amd64.deb | 2026-Mar-01 22:54:40 | 78.6M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg-1build4_amd64v3.deb | 2026-Mar-01 22:55:11 | 78.6M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg-1build4_arm64.deb | 2026-Mar-01 22:55:40 | 83.6M | application/vnd.debian.binary-package |
| coq_8.20.1+dfsg.orig.tar.xz | 2025-Feb-18 10:39:14 | 4.8M | application/x-xz |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-Jan-20 08:18:52 | 15.4K | application/x-xz |
| coq_8.4pl3dfsg-1.dsc | 2014-Jan-20 08:18:53 | 2.3K | application/octet-stream |
| coq_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 08:58:45 | 3.8M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 08:58:55 | 3.5M | application/vnd.debian.binary-package |
| coq_8.4pl3dfsg.orig.tar.gz | 2014-Jan-20 08:18:53 | 3.3M | application/x-gtar-compressed |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-Nov-04 22:14:21 | 15.7K | application/x-xz |
| coq_8.4pl4dfsg-3build2.dsc | 2015-Nov-04 22:14:21 | 2.3K | application/octet-stream |
| coq_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 23:04:34 | 3.8M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 22:39:44 | 3.5M | application/vnd.debian.binary-package |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-Jul-28 08:13:17 | 3.3M | application/x-gtar-compressed |
| coq_8.6-5build1.debian.tar.xz | 2017-Oct-28 23:39:28 | 21.3K | application/x-xz |
| coq_8.6-5build1.dsc | 2017-Oct-28 23:39:28 | 2.3K | application/octet-stream |
| coq_8.6-5build1_amd64.deb | 2017-Oct-29 00:34:41 | 16.8M | application/vnd.debian.binary-package |
| coq_8.6-5build1_i386.deb | 2017-Oct-29 00:34:51 | 16.1M | application/vnd.debian.binary-package |
| coq_8.6.orig.tar.gz | 2016-Dec-29 02:13:41 | 4.7M | application/x-gtar-compressed |
| coq_9.2.0+dfsg-4build2.debian.tar.xz | 2026-Sep-17 17:19:51 | 27.7K | application/x-xz |
| coq_9.2.0+dfsg-4build2.dsc | 2026-Sep-17 17:19:51 | 2.4K | application/octet-stream |
| coq_9.2.0+dfsg-4build2_amd64.deb | 2026-Sep-17 17:49:48 | 45.3M | application/vnd.debian.binary-package |
| coq_9.2.0+dfsg-4build2_amd64v3.deb | 2026-Sep-17 17:49:59 | 45.3M | application/vnd.debian.binary-package |
| coq_9.2.0+dfsg-4build2_arm64.deb | 2026-Sep-18 11:02:42 | 49.5M | application/vnd.debian.binary-package |
| coq_9.2.0+dfsg.orig.tar.xz | 2026-Jul-22 02:44:45 | 3.7M | application/x-xz |
| coqide_8.11.0-1_amd64.deb | 2020-Mar-06 17:38:18 | 1.6M | application/vnd.debian.binary-package |
| coqide_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 08:51:53 | 2.2M | application/vnd.debian.binary-package |
| coqide_8.18.0+dfsg-1build2_amd64.deb | 2024-Apr-01 04:32:21 | 2.2M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1_amd64.deb | 2025-Feb-18 10:40:16 | 2.1M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1build1_amd64.deb | 2025-Jun-20 08:39:29 | 2.0M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1build1_arm64.deb | 2025-Jun-20 08:39:32 | 2.5M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1build4_amd64.deb | 2026-Mar-01 22:54:39 | 2.1M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1build4_amd64v3.deb | 2026-Mar-01 22:55:10 | 2.1M | application/vnd.debian.binary-package |
| coqide_8.20.1+dfsg-1build4_arm64.deb | 2026-Mar-01 22:55:39 | 2.5M | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 08:58:45 | 727.1K | application/vnd.debian.binary-package |
| coqide_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 08:58:54 | 661.6K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 23:04:31 | 731.3K | application/vnd.debian.binary-package |
| coqide_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 22:39:44 | 694.9K | application/vnd.debian.binary-package |
| coqide_8.6-5build1_amd64.deb | 2017-Oct-29 00:34:40 | 1.4M | application/vnd.debian.binary-package |
| coqide_8.6-5build1_i386.deb | 2017-Oct-29 00:34:51 | 1.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 08:51:58 | 42.9M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb | 2024-Apr-01 04:32:21 | 49.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb | 2025-Feb-18 10:40:16 | 66.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb | 2025-Jun-20 08:39:28 | 66.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb | 2025-Jun-20 08:39:32 | 66.3M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb | 2026-Mar-01 22:54:39 | 57.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb | 2026-Mar-01 22:55:10 | 57.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb | 2026-Mar-01 22:55:39 | 57.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_amd64.deb | 2026-Sep-17 17:49:45 | 61.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_amd64v3.deb | 2026-Sep-17 17:49:57 | 61.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_arm64.deb | 2026-Sep-18 11:02:39 | 61.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 08:51:56 | 25.8M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb | 2024-Apr-01 04:32:21 | 26.4M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb | 2025-Feb-18 10:40:16 | 25.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb | 2025-Jun-20 08:39:29 | 25.5M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb | 2025-Jun-20 08:39:32 | 26.6M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb | 2026-Mar-01 22:54:39 | 26.9M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb | 2026-Mar-01 22:55:10 | 26.9M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb | 2026-Mar-01 22:55:39 | 28.0M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_9.2.0+dfsg-4build2_amd64.deb | 2026-Sep-17 17:49:46 | 28.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_9.2.0+dfsg-4build2_amd64v3.deb | 2026-Sep-17 17:49:58 | 28.7M | application/vnd.debian.binary-package |
| libcoq-core-ocaml_9.2.0+dfsg-4build2_arm64.deb | 2026-Sep-18 11:02:40 | 29.9M | application/vnd.debian.binary-package |
| libcoq-core_9.2.0+dfsg-4build2_amd64.deb | 2026-Sep-17 17:49:46 | 1.2M | application/vnd.debian.binary-package |
| libcoq-core_9.2.0+dfsg-4build2_amd64v3.deb | 2026-Sep-17 17:49:58 | 1.2M | application/vnd.debian.binary-package |
| libcoq-core_9.2.0+dfsg-4build2_arm64.deb | 2026-Sep-18 11:02:40 | 1.2M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb | 2020-Mar-06 17:38:21 | 15.3M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 08:58:43 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 08:58:55 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 23:04:32 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 22:39:45 | 3.5M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb | 2017-Oct-29 00:34:40 | 13.1M | application/vnd.debian.binary-package |
| libcoq-ocaml-dev_8.6-5build1_i386.deb | 2017-Oct-29 00:34:50 | 13.1M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.11.0-1_amd64.deb | 2020-Mar-06 17:38:20 | 6.0M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2014-Jan-20 08:58:43 | 1.5M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl3dfsg-1_i386.deb | 2014-Jan-20 08:58:54 | 1.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb | 2015-Nov-04 23:04:31 | 1.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb | 2015-Nov-04 22:39:44 | 1.3M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_amd64.deb | 2017-Oct-29 00:34:39 | 3.4M | application/vnd.debian.binary-package |
| libcoq-ocaml_8.6-5build1_i386.deb | 2017-Oct-29 00:34:51 | 3.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.15.0+dfsg-2_amd64.deb | 2022-Feb-06 08:51:58 | 23.5M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb | 2024-Apr-01 04:32:20 | 25.2M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1_amd64.deb | 2025-Feb-18 10:40:15 | 25.7M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb | 2025-Jun-20 08:39:28 | 25.6M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb | 2025-Jun-20 08:39:31 | 25.6M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb | 2026-Mar-01 22:54:38 | 25.6M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb | 2026-Mar-01 22:55:09 | 25.6M | application/vnd.debian.binary-package |
| libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb | 2026-Mar-01 22:55:38 | 25.6M | application/vnd.debian.binary-package |
| rocqide_9.2.0+dfsg-4build2_amd64.deb | 2026-Sep-17 17:49:42 | 2.1M | application/vnd.debian.binary-package |
| rocqide_9.2.0+dfsg-4build2_amd64v3.deb | 2026-Sep-17 17:49:55 | 2.1M | application/vnd.debian.binary-package |
| rocqide_9.2.0+dfsg-4build2_arm64.deb | 2026-Sep-18 11:02:37 | 2.5M | application/vnd.debian.binary-package |