| ../ |
- |
- |
| coq-theories_8.12.0-3+b3_amd64.deb |
34.8 MB |
2020-11-25 07:28 |
| coq-theories_8.12.0-3+b3_arm64.deb |
22.8 MB |
2020-11-25 07:58 |
| coq-theories_8.12.0-3+b3_armhf.deb |
22.8 MB |
2020-11-25 07:43 |
| coq-theories_8.12.0-3+b3_i386.deb |
33.6 MB |
2020-11-25 07:18 |
| coq_8.12.0-3+b3_amd64.deb |
86.3 MB |
2020-11-25 07:28 |
| coq_8.12.0-3+b3_arm64.deb |
91.6 MB |
2020-11-25 07:58 |
| coq_8.12.0-3+b3_armhf.deb |
84.3 MB |
2020-11-25 07:43 |
| coq_8.12.0-3+b3_i386.deb |
83.8 MB |
2020-11-25 07:18 |
| coq_8.12.0-3.debian.tar.xz |
36.9 KB |
2020-09-10 06:38 |
| coq_8.12.0-3.dsc |
2.4 KB |
2020-09-10 06:38 |
| coq_8.12.0.orig.tar.gz |
5.7 MB |
2020-08-22 09:26 |
| coq_8.16.1+dfsg-1+b2_amd64.deb |
88.9 MB |
2023-02-13 01:14 |
| coq_8.16.1+dfsg-1+b2_arm64.deb |
97.4 MB |
2023-02-13 01:55 |
| coq_8.16.1+dfsg-1+b2_armhf.deb |
85.7 MB |
2023-02-13 01:55 |
| coq_8.16.1+dfsg-1+b2_i386.deb |
83.5 MB |
2023-02-13 01:29 |
| coq_8.16.1+dfsg-1+b2_ppc64el.deb |
89.5 MB |
2023-02-13 03:13 |
| coq_8.16.1+dfsg-1+b2_s390x.deb |
89.0 MB |
2023-02-13 01:45 |
| coq_8.16.1+dfsg-1.debian.tar.xz |
32.5 KB |
2022-11-29 08:35 |
| coq_8.16.1+dfsg-1.dsc |
2.6 KB |
2022-11-29 08:35 |
| coq_8.16.1+dfsg.orig.tar.xz |
4.5 MB |
2022-11-29 08:35 |
| coq_8.20.1+dfsg-1+b1_amd64.deb |
67.0 MB |
2025-06-15 01:07 |
| coq_8.20.1+dfsg-1+b1_arm64.deb |
71.0 MB |
2025-06-15 05:17 |
| coq_8.20.1+dfsg-1+b1_ppc64el.deb |
67.6 MB |
2025-06-15 05:53 |
| coq_8.20.1+dfsg-1+b1_riscv64.deb |
67.9 MB |
2025-06-15 04:52 |
| coq_8.20.1+dfsg-1+b1_s390x.deb |
67.7 MB |
2025-06-16 12:17 |
| coq_8.20.1+dfsg-1+b2_ppc64el.deb |
68.4 MB |
2025-12-27 18:40 |
| coq_8.20.1+dfsg-1+b2_riscv64.deb |
69.0 MB |
2025-12-28 02:09 |
| coq_8.20.1+dfsg-1+b2_s390x.deb |
68.8 MB |
2025-12-27 20:22 |
| coq_8.20.1+dfsg-1+b3_amd64.deb |
67.8 MB |
2026-02-12 09:13 |
| coq_8.20.1+dfsg-1+b4_arm64.deb |
71.4 MB |
2026-02-12 09:13 |
| coq_8.20.1+dfsg-1.debian.tar.xz |
29.5 KB |
2025-02-17 16:37 |
| coq_8.20.1+dfsg-1.dsc |
2.5 KB |
2025-02-17 16:37 |
| coq_8.20.1+dfsg.orig.tar.xz |
4.8 MB |
2025-02-17 16:37 |
| coq_9.1.0+dfsg-3+b1_armhf.deb |
22.5 MB |
2025-12-27 17:23 |
| coq_9.1.0+dfsg-3+b1_i386.deb |
22.7 MB |
2025-12-27 18:35 |
| coq_9.1.0+dfsg-3+b1_ppc64el.deb |
39.0 MB |
2025-12-27 18:40 |
| coq_9.1.0+dfsg-3+b1_s390x.deb |
39.4 MB |
2025-12-27 21:19 |
| coq_9.1.0+dfsg-3+b2_amd64.deb |
38.3 MB |
2026-02-14 23:45 |
| coq_9.1.0+dfsg-3+b2_arm64.deb |
41.7 MB |
2026-02-15 10:38 |
| coq_9.1.0+dfsg-3+b2_riscv64.deb |
39.4 MB |
2026-02-15 17:19 |
| coq_9.1.0+dfsg-3.debian.tar.xz |
23.6 KB |
2025-11-11 17:29 |
| coq_9.1.0+dfsg-3.dsc |
2.5 KB |
2025-11-11 17:29 |
| coq_9.1.0+dfsg.orig.tar.xz |
3.7 MB |
2025-09-17 16:17 |
| coqide_8.12.0-3+b3_amd64.deb |
1.8 MB |
2020-11-25 07:28 |
| coqide_8.12.0-3+b3_arm64.deb |
2.1 MB |
2020-11-25 07:58 |
| coqide_8.12.0-3+b3_armhf.deb |
1.7 MB |
2020-11-25 07:43 |
| coqide_8.12.0-3+b3_i386.deb |
1.6 MB |
2020-11-25 07:18 |
| coqide_8.16.1+dfsg-1+b2_amd64.deb |
1.9 MB |
2023-02-13 01:14 |
| coqide_8.16.1+dfsg-1+b2_arm64.deb |
2.2 MB |
2023-02-13 01:55 |
| coqide_8.16.1+dfsg-1+b2_armhf.deb |
1.7 MB |
2023-02-13 01:55 |
| coqide_8.16.1+dfsg-1+b2_i386.deb |
1.7 MB |
2023-02-13 01:29 |
| coqide_8.16.1+dfsg-1+b2_ppc64el.deb |
2.0 MB |
2023-02-13 03:13 |
| coqide_8.16.1+dfsg-1+b2_s390x.deb |
1.9 MB |
2023-02-13 01:45 |
| coqide_8.20.1+dfsg-1+b1_amd64.deb |
1.8 MB |
2025-06-15 01:07 |
| coqide_8.20.1+dfsg-1+b1_arm64.deb |
2.1 MB |
2025-06-15 05:17 |
| coqide_8.20.1+dfsg-1+b1_ppc64el.deb |
1.9 MB |
2025-06-15 05:53 |
| coqide_8.20.1+dfsg-1+b1_riscv64.deb |
1.9 MB |
2025-06-15 04:52 |
| coqide_8.20.1+dfsg-1+b1_s390x.deb |
1.9 MB |
2025-06-16 12:17 |
| coqide_8.20.1+dfsg-1+b2_ppc64el.deb |
1.9 MB |
2025-12-27 18:40 |
| coqide_8.20.1+dfsg-1+b2_riscv64.deb |
2.0 MB |
2025-12-28 02:09 |
| coqide_8.20.1+dfsg-1+b2_s390x.deb |
1.9 MB |
2025-12-27 20:22 |
| coqide_8.20.1+dfsg-1+b3_amd64.deb |
1.8 MB |
2026-02-12 09:13 |
| coqide_8.20.1+dfsg-1+b4_arm64.deb |
2.2 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb |
40.7 MB |
2023-02-13 01:14 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb |
40.8 MB |
2023-02-13 01:55 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb |
41.1 MB |
2023-02-13 01:55 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb |
40.5 MB |
2023-02-13 01:29 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb |
41.5 MB |
2023-02-13 03:13 |
| libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb |
40.3 MB |
2023-02-13 01:45 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb |
65.5 MB |
2025-06-15 01:07 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb |
65.4 MB |
2025-06-15 05:17 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb |
66.1 MB |
2025-06-15 05:53 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb |
70.1 MB |
2025-06-15 04:52 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb |
65.0 MB |
2025-06-16 12:17 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb |
50.2 MB |
2025-12-27 18:40 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb |
54.3 MB |
2025-12-28 02:09 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb |
49.4 MB |
2025-12-27 20:22 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb |
49.6 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb |
49.9 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb |
42.8 MB |
2025-12-27 17:23 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb |
42.8 MB |
2025-12-27 18:35 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb |
51.9 MB |
2025-12-27 18:40 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb |
51.1 MB |
2025-12-27 21:19 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_amd64.deb |
51.2 MB |
2026-02-14 23:45 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_arm64.deb |
51.6 MB |
2026-02-15 10:38 |
| libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_riscv64.deb |
56.0 MB |
2026-02-15 17:19 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb |
21.5 MB |
2023-02-13 01:14 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb |
22.0 MB |
2023-02-13 01:55 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb |
21.2 MB |
2023-02-13 01:55 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb |
20.7 MB |
2023-02-13 01:29 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb |
21.6 MB |
2023-02-13 03:13 |
| libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb |
21.6 MB |
2023-02-13 01:45 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb |
24.8 MB |
2025-06-15 01:07 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb |
25.2 MB |
2025-06-15 05:17 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb |
24.8 MB |
2025-06-15 05:53 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb |
24.8 MB |
2025-06-15 04:52 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb |
24.8 MB |
2025-06-16 12:17 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb |
23.1 MB |
2025-12-27 18:40 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb |
23.2 MB |
2025-12-28 02:09 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb |
23.2 MB |
2025-12-27 20:22 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb |
23.1 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb |
23.5 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb |
16.7 MB |
2025-12-27 17:23 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb |
16.7 MB |
2025-12-27 18:35 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb |
23.8 MB |
2025-12-27 18:40 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb |
23.9 MB |
2025-12-27 21:19 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb |
23.8 MB |
2026-02-14 23:45 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b2_arm64.deb |
24.2 MB |
2026-02-15 10:38 |
| libcoq-core-ocaml_9.1.0+dfsg-3+b2_riscv64.deb |
24.0 MB |
2026-02-15 17:19 |
| libcoq-core_9.1.0+dfsg-3+b1_armhf.deb |
1.1 MB |
2025-12-27 17:23 |
| libcoq-core_9.1.0+dfsg-3+b1_i386.deb |
1.1 MB |
2025-12-27 18:35 |
| libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb |
1.1 MB |
2025-12-27 18:40 |
| libcoq-core_9.1.0+dfsg-3+b1_s390x.deb |
1.1 MB |
2025-12-27 21:19 |
| libcoq-core_9.1.0+dfsg-3+b2_amd64.deb |
1.1 MB |
2026-02-14 23:45 |
| libcoq-core_9.1.0+dfsg-3+b2_arm64.deb |
1.1 MB |
2026-02-15 10:38 |
| libcoq-core_9.1.0+dfsg-3+b2_riscv64.deb |
1.1 MB |
2026-02-15 17:19 |
| libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb |
17.9 MB |
2020-11-25 07:28 |
| libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb |
17.9 MB |
2020-11-25 07:58 |
| libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb |
18.3 MB |
2020-11-25 07:43 |
| libcoq-ocaml-dev_8.12.0-3+b3_i386.deb |
17.8 MB |
2020-11-25 07:18 |
| libcoq-ocaml_8.12.0-3+b3_amd64.deb |
7.4 MB |
2020-11-25 07:28 |
| libcoq-ocaml_8.12.0-3+b3_arm64.deb |
7.6 MB |
2020-11-25 07:58 |
| libcoq-ocaml_8.12.0-3+b3_armhf.deb |
7.4 MB |
2020-11-25 07:43 |
| libcoq-ocaml_8.12.0-3+b3_i386.deb |
7.2 MB |
2020-11-25 07:18 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb |
20.5 MB |
2023-02-13 01:14 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb |
20.5 MB |
2023-02-13 01:55 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb |
20.5 MB |
2023-02-13 01:55 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb |
20.5 MB |
2023-02-13 01:29 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb |
20.5 MB |
2023-02-13 03:13 |
| libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb |
20.5 MB |
2023-02-13 01:45 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb |
22.4 MB |
2025-06-15 01:07 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb |
22.4 MB |
2025-06-15 05:17 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb |
22.4 MB |
2025-06-15 05:53 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb |
22.4 MB |
2025-06-15 04:52 |
| libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb |
22.4 MB |
2025-06-16 12:17 |
| libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb |
22.4 MB |
2025-12-27 18:40 |
| libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb |
22.4 MB |
2025-12-28 02:09 |
| libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb |
22.4 MB |
2025-12-27 20:22 |
| libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb |
22.4 MB |
2026-02-12 09:13 |
| libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb |
22.4 MB |
2026-02-12 09:13 |
| rocqide_9.1.0+dfsg-3+b1_armhf.deb |
555.8 KB |
2025-12-27 17:23 |
| rocqide_9.1.0+dfsg-3+b1_i386.deb |
626.1 KB |
2025-12-27 18:35 |
| rocqide_9.1.0+dfsg-3+b1_ppc64el.deb |
1.9 MB |
2025-12-27 18:40 |
| rocqide_9.1.0+dfsg-3+b1_s390x.deb |
1.9 MB |
2025-12-27 21:19 |
| rocqide_9.1.0+dfsg-3+b2_amd64.deb |
1.9 MB |
2026-02-14 23:45 |
| rocqide_9.1.0+dfsg-3+b2_arm64.deb |
2.2 MB |
2026-02-15 10:38 |
| rocqide_9.1.0+dfsg-3+b2_riscv64.deb |
2.0 MB |
2026-02-15 17:19 |