| Parent Directory | - | - | - |
| coq-theories_8.11.0-1_amd64.deb | 2020-03-06 08:38 | 33079952 | - |
| coq-theories_8.4pl3dfsg-1_all.deb | 2014-01-19 23:58 | 31970270 | - |
| coq-theories_8.4pl4dfsg-3build2_all.deb | 2015-11-04 14:04 | 32236078 | - |
| coq-theories_8.6-5build1_amd64.deb | 2017-10-28 15:34 | 33181580 | - |
| coq-theories_8.6-5build1_i386.deb | 2017-10-28 15:34 | 32170552 | - |
| coq_8.11.0-1.debian.tar.xz | 2020-03-06 07:53 | 31672 | - |
| coq_8.11.0-1.dsc | 2020-03-06 07:53 | 2496 | - |
| coq_8.11.0-1_amd64.deb | 2020-03-06 08:38 | 76583920 | - |
| coq_8.11.0.orig.tar.gz | 2020-03-06 07:53 | 5825620 | - |
| coq_8.15.0+dfsg-2.debian.tar.xz | 2022-02-05 17:49 | 39672 | - |
| coq_8.15.0+dfsg-2.dsc | 2022-02-05 17:49 | 2599 | - |
| coq_8.15.0+dfsg-2_amd64.deb | 2022-02-05 23:52 | 95393552 | - |
| coq_8.15.0+dfsg.orig.tar.xz | 2022-01-17 23:14 | 4669948 | - |
| coq_8.18.0+dfsg-1build2.debian.tar.xz | 2024-03-31 18:36 | 33336 | - |
| coq_8.18.0+dfsg-1build2.dsc | 2024-03-31 18:36 | 2685 | - |
| coq_8.18.0+dfsg-1build2_amd64.deb | 2024-03-31 19:32 | 95929242 | - |
| coq_8.18.0+dfsg.orig.tar.xz | 2023-12-22 19:46 | 4868368 | - |
| coq_8.20.1+dfsg-1.debian.tar.xz | 2025-02-18 01:39 | 30208 | - |
| coq_8.20.1+dfsg-1.dsc | 2025-02-18 01:39 | 2582 | - |
| coq_8.20.1+dfsg-1_amd64.deb | 2025-02-18 01:40 | 81958834 | - |
| coq_8.20.1+dfsg-1build1.debian.tar.xz | 2025-06-19 11:23 | 30272 | - |
| coq_8.20.1+dfsg-1build1.dsc | 2025-06-19 11:23 | 2569 | - |
| coq_8.20.1+dfsg-1build1_amd64.deb | 2025-06-19 23:39 | 81628676 | - |
| coq_8.20.1+dfsg-1build1_arm64.deb | 2025-06-19 23:39 | 86943962 | - |
| coq_8.20.1+dfsg-1build4.debian.tar.xz | 2026-03-01 13:53 | 30344 | - |
| coq_8.20.1+dfsg-1build4.dsc | 2026-03-01 13:53 | 2569 | - |
| coq_8.20.1+dfsg-1build4_amd64.deb | 2026-03-01 13:54 | 82457158 | - |
| coq_8.20.1+dfsg-1build4_amd64v3.deb | 2026-03-01 13:55 | 82443876 | - |
| coq_8.20.1+dfsg-1build4_arm64.deb | 2026-03-01 13:55 | 87743186 | - |
| coq_8.20.1+dfsg.orig.tar.xz | 2025-02-18 01:39 | 5014988 | - |
| coq_8.4pl3dfsg-1.debian.tar.xz | 2014-01-19 23:18 | 15800 | - |
| coq_8.4pl3dfsg-1.dsc | 2014-01-19 23:18 | 2356 | - |
| coq_8.4pl3dfsg-1_amd64.deb | 2014-01-19 23:58 | 4040156 | - |
| coq_8.4pl3dfsg-1_i386.deb | 2014-01-19 23:58 | 3746098 | - |
| coq_8.4pl3dfsg.orig.tar.gz | 2014-01-19 23:18 | 3521338 | - |
| coq_8.4pl4dfsg-3build2.debian.tar.xz | 2015-11-04 13:14 | 16144 | - |
| coq_8.4pl4dfsg-3build2.dsc | 2015-11-04 13:14 | 2398 | - |
| coq_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 14:04 | 3993698 | - |
| coq_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 13:39 | 3746046 | - |
| coq_8.4pl4dfsg.orig.tar.gz | 2014-07-27 23:13 | 3527076 | - |
| coq_8.6-5build1.debian.tar.xz | 2017-10-28 14:39 | 21864 | - |
| coq_8.6-5build1.dsc | 2017-10-28 14:39 | 2403 | - |
| coq_8.6-5build1_amd64.deb | 2017-10-28 15:34 | 17673808 | - |
| coq_8.6-5build1_i386.deb | 2017-10-28 15:34 | 16948548 | - |
| coq_8.6.orig.tar.gz | 2016-12-28 17:13 | 5008604 | - |
| coq_9.2.0+dfsg-3.debian.tar.xz | 2026-07-27 23:27 | 28280 | - |
| coq_9.2.0+dfsg-3.dsc | 2026-07-27 23:27 | 2479 | - |
| coq_9.2.0+dfsg-3_amd64.deb | 2026-07-28 00:31 | 47506844 | - |
| coq_9.2.0+dfsg-3_amd64v3.deb | 2026-07-28 00:31 | 47532352 | - |
| coq_9.2.0+dfsg-3_arm64.deb | 2026-07-28 00:31 | 51997466 | - |
| coq_9.2.0+dfsg.orig.tar.xz | 2026-07-21 17:44 | 3946088 | - |
| coqide_8.11.0-1_amd64.deb | 2020-03-06 08:38 | 1758824 | - |
| coqide_8.15.0+dfsg-2_amd64.deb | 2022-02-05 23:51 | 2387786 | - |
| coqide_8.18.0+dfsg-1build2_amd64.deb | 2024-03-31 19:32 | 2349532 | - |
| coqide_8.20.1+dfsg-1_amd64.deb | 2025-02-18 01:40 | 2208052 | - |
| coqide_8.20.1+dfsg-1build1_amd64.deb | 2025-06-19 23:39 | 2198142 | - |
| coqide_8.20.1+dfsg-1build1_arm64.deb | 2025-06-19 23:39 | 2640956 | - |
| coqide_8.20.1+dfsg-1build4_amd64.deb | 2026-03-01 13:54 | 2212144 | - |
| coqide_8.20.1+dfsg-1build4_amd64v3.deb | 2026-03-01 13:55 | 2211528 | - |
| coqide_8.20.1+dfsg-1build4_arm64.deb | 2026-03-01 13:55 | 2648942 | - |
| coqide_8.20.1+dfsg-1build5_amd64.deb | 2026-07-07 21:39 | 2199602 | - |
| coqide_8.20.1+dfsg-1build5_amd64v3.deb | 2026-07-07 21:40 | 2215480 | - |
| coqide_8.20.1+dfsg-1build5_arm64.deb | 2026-07-07 21:40 | 2645954 | - |
| coqide_8.4pl3dfsg-1_amd64.deb | 2014-01-19 23:58 | 744612 | - |
| coqide_8.4pl3dfsg-1_i386.deb | 2014-01-19 23:58 | 677516 | - |
| coqide_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 14:04 | 748916 | - |
| coqide_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 13:39 | 711626 | - |
| coqide_8.6-5build1_amd64.deb | 2017-10-28 15:34 | 1544828 | - |
| coqide_8.6-5build1_i386.deb | 2017-10-28 15:34 | 1388920 | - |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb | 2022-02-05 23:51 | 45035496 | - |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb | 2024-03-31 19:32 | 51407928 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb | 2025-02-18 01:40 | 69701632 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb | 2025-06-19 23:39 | 69593592 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb | 2025-06-19 23:39 | 69614450 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb | 2026-03-01 13:54 | 59800134 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb | 2026-03-01 13:55 | 59801482 | - |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb | 2026-03-01 13:55 | 60498278 | - |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb | 2026-07-28 00:31 | 64018416 | - |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64v3.deb | 2026-07-28 00:31 | 64019430 | - |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb | 2026-07-28 00:31 | 64786066 | - |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb | 2022-02-05 23:51 | 27070410 | - |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb | 2024-03-31 19:32 | 27687350 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb | 2025-02-18 01:40 | 26816654 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb | 2025-06-19 23:39 | 26779406 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb | 2025-06-19 23:39 | 27960318 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb | 2026-03-01 13:54 | 28275532 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb | 2026-03-01 13:55 | 28278462 | - |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb | 2026-03-01 13:55 | 29444530 | - |
| libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb | 2026-07-28 00:31 | 30131766 | - |
| libcoq-core-ocaml_9.2.0+dfsg-3_amd64v3.deb | 2026-07-28 00:31 | 30133070 | - |
| libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb | 2026-07-28 00:31 | 31367188 | - |
| libcoq-core_9.2.0+dfsg-3_amd64.deb | 2026-07-28 00:31 | 1324228 | - |
| libcoq-core_9.2.0+dfsg-3_amd64v3.deb | 2026-07-28 00:31 | 1324210 | - |
| libcoq-core_9.2.0+dfsg-3_arm64.deb | 2026-07-28 00:31 | 1324188 | - |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb | 2020-03-06 08:38 | 16068892 | - |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb | 2014-01-19 23:58 | 3664528 | - |
| libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb | 2014-01-19 23:58 | 3649360 | - |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 14:04 | 3670362 | - |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 13:39 | 3734144 | - |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb | 2017-10-28 15:34 | 13815188 | - |
| libcoq-ocaml-dev_8.6-5build1_i386.deb | 2017-10-28 15:34 | 13796020 | - |
| libcoq-ocaml_8.11.0-1_amd64.deb | 2020-03-06 08:38 | 6324304 | - |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb | 2014-01-19 23:58 | 1585458 | - |
| libcoq-ocaml_8.4pl3dfsg-1_i386.deb | 2014-01-19 23:58 | 1434144 | - |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb | 2015-11-04 14:04 | 1503766 | - |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb | 2015-11-04 13:39 | 1392144 | - |
| libcoq-ocaml_8.6-5build1_amd64.deb | 2017-10-28 15:34 | 3564612 | - |
| libcoq-ocaml_8.6-5build1_i386.deb | 2017-10-28 15:34 | 3394144 | - |
| libcoq-stdlib_8.15.0+dfsg-2_amd64.deb | 2022-02-05 23:51 | 24695142 | - |
| libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb | 2024-03-31 19:32 | 26511990 | - |
| libcoq-stdlib_8.20.1+dfsg-1_amd64.deb | 2025-02-18 01:40 | 26972438 | - |
| libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb | 2025-06-19 23:39 | 26921084 | - |
| libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb | 2025-06-19 23:39 | 26921824 | - |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb | 2026-03-01 13:54 | 26919630 | - |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb | 2026-03-01 13:55 | 26920442 | - |
| libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb | 2026-03-01 13:55 | 26919580 | - |
| rocqide_9.2.0+dfsg-3_amd64.deb | 2026-07-28 00:31 | 2221850 | - |
| rocqide_9.2.0+dfsg-3_amd64v3.deb | 2026-07-28 00:31 | 2215762 | - |
| rocqide_9.2.0+dfsg-3_arm64.deb | 2026-07-28 00:31 | 2667502 | - |