Index of /pool/universe/c/coq
Name
Last modified
Size
Description
Parent Directory
-
libcoq-ocaml_8.6-5build1_amd64.deb
2017-10-28 15:34
3.4M
coq-theories_8.6-5build1_amd64.deb
2017-10-28 15:34
32M
coqide_8.6-5build1_amd64.deb
2017-10-28 15:34
1.5M
libcoq-ocaml-dev_8.6-5build1_amd64.deb
2017-10-28 15:34
13M
coq_8.6-5build1_amd64.deb
2017-10-28 15:34
17M
coq_8.11.0-1_amd64.deb
2020-03-06 08:38
73M
coqide_8.11.0-1_amd64.deb
2020-03-06 08:38
1.7M
coq-theories_8.11.0-1_amd64.deb
2020-03-06 08:38
32M
libcoq-ocaml_8.11.0-1_amd64.deb
2020-03-06 08:38
6.0M
libcoq-ocaml-dev_8.11.0-1_amd64.deb
2020-03-06 08:38
15M
coqide_8.15.0+dfsg-2_amd64.deb
2022-02-05 23:51
2.3M
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
2022-02-05 23:51
26M
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
2022-02-05 23:51
43M
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
2022-02-05 23:51
24M
coq_8.15.0+dfsg-2_amd64.deb
2022-02-05 23:52
91M
coq_8.16.1+dfsg-1build2_amd64.deb
2023-02-16 10:58
104M
coqide_8.16.1+dfsg-1build2_amd64.deb
2023-02-16 10:58
2.2M
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb
2023-02-16 10:58
26M
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb
2023-02-16 10:58
47M
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb
2023-02-16 10:58
23M
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb
2023-07-24 17:37
48M
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
2023-07-24 17:37
27M
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb
2023-07-24 17:37
26M
coq_8.17.0+dfsg-1build1_amd64.deb
2023-07-24 17:37
89M
coqide_8.17.0+dfsg-1build1_amd64.deb
2023-07-24 17:37
2.2M
Apache/2.4.41 (Ubuntu) Server at ubuntu-mirror.magnetic-it.com Port 80