|
📁 ../
|
- |
- |
|
📄 coq_8.20.1+dfsg-1+b1_amd64.deb
|
70222224 bytes
|
2025-06-15 01:07:23 |
|
📄 coq_8.20.1+dfsg-1+b1_arm64.deb
|
74446016 bytes
|
2025-06-15 05:17:48 |
|
📄 coq_8.20.1+dfsg-1+b1_riscv64.deb
|
71194768 bytes
|
2025-06-15 04:52:35 |
|
📄 coq_8.20.1+dfsg-1.debian.tar.xz
|
30208 bytes
|
2025-02-17 16:37:02 |
|
📄 coq_8.20.1+dfsg-1.dsc
|
2582 bytes
|
2025-02-17 16:37:02 |
|
📄 coq_8.20.1+dfsg.orig.tar.xz
|
5014988 bytes
|
2025-02-17 16:37:02 |
|
📄 coqide_8.20.1+dfsg-1+b1_amd64.deb
|
1930360 bytes
|
2025-06-15 01:07:23 |
|
📄 coqide_8.20.1+dfsg-1+b1_arm64.deb
|
2246476 bytes
|
2025-06-15 05:17:48 |
|
📄 coqide_8.20.1+dfsg-1+b1_riscv64.deb
|
1994992 bytes
|
2025-06-15 04:52:35 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb
|
68700208 bytes
|
2025-06-15 01:07:24 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb
|
68569160 bytes
|
2025-06-15 05:17:48 |
|
📄 libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb
|
73545616 bytes
|
2025-06-15 04:52:35 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb
|
25955760 bytes
|
2025-06-15 01:07:24 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb
|
26387968 bytes
|
2025-06-15 05:17:48 |
|
📄 libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb
|
26021184 bytes
|
2025-06-15 04:52:35 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
|
23527164 bytes
|
2025-06-15 01:07:24 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb
|
23531376 bytes
|
2025-06-15 05:17:48 |
|
📄 libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb
|
23528068 bytes
|
2025-06-15 04:52:36 |