Index of /ubuntu/pool/universe/c/coq/
name
size
date
coq_8.20.1+dfsg-1build4_amd64.deb
78.64M
2026-03-01 13:54:40
coqide_8.20.1+dfsg-1build4_amd64.deb
2.11M
2026-03-01 13:54:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb
57.03M
2026-03-01 13:54:39
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb
26.97M
2026-03-01 13:54:39
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb
25.67M
2026-03-01 13:54:38
coq_8.20.1+dfsg-1build1_amd64.deb
77.85M
2025-06-19 23:39:29
coqide_8.20.1+dfsg-1build1_amd64.deb
2.10M
2025-06-19 23:39:29
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb
25.54M
2025-06-19 23:39:29
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb
66.37M
2025-06-19 23:39:28
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb
25.67M
2025-06-19 23:39:28
coq_8.20.1+dfsg-1_amd64.deb
78.16M
2025-02-18 01:40:18
coqide_8.20.1+dfsg-1_amd64.deb
2.11M
2025-02-18 01:40:16
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb
66.47M
2025-02-18 01:40:16
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb
25.57M
2025-02-18 01:40:16
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb
25.72M
2025-02-18 01:40:15
coq_8.18.0+dfsg-1build2_amd64.deb
91.49M
2024-03-31 19:32:22
coqide_8.18.0+dfsg-1build2_amd64.deb
2.24M
2024-03-31 19:32:21
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
49.03M
2024-03-31 19:32:21
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
26.40M
2024-03-31 19:32:21
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
25.28M
2024-03-31 19:32:20
coq_8.15.0+dfsg-2_amd64.deb
90.97M
2022-02-05 23:52:00
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
42.95M
2022-02-05 23:51:58
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
23.55M
2022-02-05 23:51:58
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
25.82M
2022-02-05 23:51:56
coqide_8.15.0+dfsg-2_amd64.deb
2.28M
2022-02-05 23:51:53
libcoq-ocaml-dev_8.11.0-1_amd64.deb
15.32M
2020-03-06 08:38:21
libcoq-ocaml_8.11.0-1_amd64.deb
6.03M
2020-03-06 08:38:20
coq-theories_8.11.0-1_amd64.deb
31.55M
2020-03-06 08:38:19
coq_8.11.0-1_amd64.deb
73.04M
2020-03-06 08:38:18
coqide_8.11.0-1_amd64.deb
1.68M
2020-03-06 08:38:18