| ../ |
- |
- |
| coq_8.20.1+dfsg-1+b3_amd64.deb |
67.8 MB |
2026-02-12 09:13 |
| coq_8.20.1+dfsg-1+b4_amd64.deb |
67.8 MB |
2026-06-19 05:42 |
| coq_8.20.1+dfsg-1+b4_arm64.deb |
71.4 MB |
2026-02-12 09:13 |
| coq_8.20.1+dfsg-1+b5_arm64.deb |
71.4 MB |
2026-06-19 06:35 |
| 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.2.0+dfsg-3+b1_amd64.deb |
39.4 MB |
2026-07-27 19:33 |
| coq_9.2.0+dfsg-3.debian.tar.xz |
27.6 KB |
2026-07-27 14:12 |
| coq_9.2.0+dfsg-3.dsc |
2.4 KB |
2026-07-27 14:12 |
| coq_9.2.0+dfsg-3_arm64.deb |
42.5 MB |
2026-07-27 14:58 |
| coq_9.2.0+dfsg-3_armhf.deb |
23.0 MB |
2026-07-27 14:58 |
| coq_9.2.0+dfsg-3_i386.deb |
23.2 MB |
2026-07-27 14:53 |
| coq_9.2.0+dfsg-4.debian.tar.xz |
27.6 KB |
2026-08-25 11:56 |
| coq_9.2.0+dfsg-4.dsc |
2.6 KB |
2026-08-25 11:56 |
| coq_9.2.0+dfsg-4_amd64.deb |
39.4 MB |
2026-08-25 12:22 |
| coq_9.2.0+dfsg-4_arm64.deb |
42.5 MB |
2026-08-25 12:22 |
| coq_9.2.0+dfsg-4_armhf.deb |
23.0 MB |
2026-08-25 12:16 |
| coq_9.2.0+dfsg-4_i386.deb |
23.2 MB |
2026-08-25 12:22 |
| coq_9.2.0+dfsg.orig.tar.xz |
3.8 MB |
2026-07-10 08:36 |
| coqide_8.20.1+dfsg-1+b3_amd64.deb |
1.8 MB |
2026-02-12 09:13 |
| coqide_8.20.1+dfsg-1+b4_amd64.deb |
1.8 MB |
2026-06-19 05:42 |
| coqide_8.20.1+dfsg-1+b4_arm64.deb |
2.2 MB |
2026-02-12 09:13 |
| coqide_8.20.1+dfsg-1+b5_arm64.deb |
2.1 MB |
2026-06-19 06:35 |
| 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_amd64.deb |
49.6 MB |
2026-06-19 05:42 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb |
49.9 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb |
49.9 MB |
2026-06-19 06:35 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb |
53.1 MB |
2026-07-27 19:33 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb |
53.5 MB |
2026-07-27 14:58 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_armhf.deb |
44.4 MB |
2026-07-27 14:58 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb |
44.4 MB |
2026-07-27 14:53 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb |
53.1 MB |
2026-08-25 12:22 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb |
53.5 MB |
2026-08-25 12:22 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb |
44.4 MB |
2026-08-25 12:16 |
| libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb |
44.4 MB |
2026-08-25 12: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_amd64.deb |
23.1 MB |
2026-06-19 05:42 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb |
23.5 MB |
2026-02-12 09:13 |
| libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb |
23.5 MB |
2026-06-19 06:35 |
| libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb |
24.6 MB |
2026-07-27 19:33 |
| libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb |
25.1 MB |
2026-07-27 14:58 |
| libcoq-core-ocaml_9.2.0+dfsg-3_armhf.deb |
17.2 MB |
2026-07-27 14:58 |
| libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb |
17.2 MB |
2026-07-27 14:53 |
| libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb |
24.6 MB |
2026-08-25 12:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb |
25.1 MB |
2026-08-25 12:22 |
| libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb |
17.2 MB |
2026-08-25 12:16 |
| libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb |
17.2 MB |
2026-08-25 12:22 |
| libcoq-core_9.2.0+dfsg-3+b1_amd64.deb |
1.1 MB |
2026-07-27 19:33 |
| libcoq-core_9.2.0+dfsg-3_arm64.deb |
1.1 MB |
2026-07-27 14:58 |
| libcoq-core_9.2.0+dfsg-3_armhf.deb |
1.1 MB |
2026-07-27 14:58 |
| libcoq-core_9.2.0+dfsg-3_i386.deb |
1.1 MB |
2026-07-27 14:53 |
| libcoq-core_9.2.0+dfsg-4_amd64.deb |
1.1 MB |
2026-08-25 12:22 |
| libcoq-core_9.2.0+dfsg-4_arm64.deb |
1.1 MB |
2026-08-25 12:22 |
| libcoq-core_9.2.0+dfsg-4_armhf.deb |
1.1 MB |
2026-08-25 12:16 |
| libcoq-core_9.2.0+dfsg-4_i386.deb |
1.1 MB |
2026-08-25 12: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_amd64.deb |
22.4 MB |
2026-06-19 05:42 |
| libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb |
22.4 MB |
2026-02-12 09:13 |
| libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb |
22.4 MB |
2026-06-19 06:35 |
| rocqide_9.2.0+dfsg-3+b1_amd64.deb |
1.9 MB |
2026-07-27 19:33 |
| rocqide_9.2.0+dfsg-3_arm64.deb |
2.1 MB |
2026-07-27 14:58 |
| rocqide_9.2.0+dfsg-3_armhf.deb |
552.9 KB |
2026-07-27 14:58 |
| rocqide_9.2.0+dfsg-3_i386.deb |
622.5 KB |
2026-07-27 14:53 |
| rocqide_9.2.0+dfsg-4_amd64.deb |
1.9 MB |
2026-08-25 12:22 |
| rocqide_9.2.0+dfsg-4_arm64.deb |
2.1 MB |
2026-08-25 12:22 |
| rocqide_9.2.0+dfsg-4_armhf.deb |
553.1 KB |
2026-08-25 12:16 |
| rocqide_9.2.0+dfsg-4_i386.deb |
623.9 KB |
2026-08-25 12:22 |