Name
Last modified
Size
Description
Parent Directory
-
coqide_8.12.0-3+b3_amd64.deb
2020-11-25 07:28
1.8M
coqide_8.20.0+dfsg-1_amd64.deb
2024-11-20 10:33
1.8M
coqide_8.20.0+dfsg-1_riscv64.deb
2024-11-20 13:10
1.9M
coqide_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 01:14
1.9M
coqide_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 18:10
2.1M
coqide_8.19.1+dfsg-3+b2_riscv64.deb
2024-08-20 19:44
2.1M
coq_8.9.0.orig.tar.gz
2019-02-06 18:49
5.1M
libcoq-ocaml_8.9.0-1_amd64.deb
2019-02-06 18:49
5.2M
coq_8.12.0.orig.tar.gz
2020-08-22 09:26
5.7M
libcoq-ocaml_8.12.0-3+b3_amd64.deb
2020-11-25 07:28
7.4M
libcoq-ocaml-dev_8.9.0-1_amd64.deb
2019-02-06 18:49
13M
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
2020-11-25 07:28
18M
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 01:14
21M
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 01:14
22M
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb
2024-11-20 13:10
22M
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb
2024-11-20 10:33
22M
libcoq-stdlib_8.19.1+dfsg-3+b2_riscv64.deb
2024-08-20 19:44
23M
libcoq-stdlib_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 18:10
23M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 18:10
24M
libcoq-core-ocaml_8.19.1+dfsg-3+b2_riscv64.deb
2024-08-20 19:44
24M
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb
2024-11-20 10:33
25M
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb
2024-11-20 13:10
25M
coq-theories_8.9.0-1_amd64.deb
2019-02-06 18:49
28M
coq-theories_8.12.0-3+b3_amd64.deb
2020-11-25 07:28
35M
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 01:14
41M
coq_8.9.0-1_amd64.deb
2019-02-06 18:49
56M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 18:10
64M
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb
2024-11-20 10:33
66M
libcoq-core-ocaml-dev_8.19.1+dfsg-3+b2_riscv64.deb
2024-08-20 19:44
69M
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb
2024-11-20 13:10
71M
coq_8.20.0+dfsg-1_amd64.deb
2024-11-20 10:33
73M
coq_8.20.0+dfsg-1_riscv64.deb
2024-11-20 13:10
74M
coq_8.19.1+dfsg-3+b2_amd64.deb
2024-08-20 18:10
83M
coq_8.19.1+dfsg-3+b2_riscv64.deb
2024-08-20 19:44
84M
coq_8.12.0-3+b3_amd64.deb
2020-11-25 07:28
86M
coq_8.16.1+dfsg-1+b2_amd64.deb
2023-02-13 01:14
89M
Mirrors hosted by
xhosts.uk
- Low Cost UK DDOS Protected VPS Servers.