Index of /ubuntu-old/pool/universe/c/coq/
name
size
date
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb
25.77M
2025-09-13 01:48:18
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb
24.76M
2025-09-13 01:47:04
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb
65.07M
2025-09-13 01:44:44
coqide_8.19.1+dfsg-3build3_amd64.deb
2.33M
2025-09-13 01:38:42
coq_8.19.1+dfsg-3build3_amd64.deb
96.14M
2025-09-13 01:37:43
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb
23.38M
2024-11-26 13:22:03
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb
25.66M
2024-11-26 13:21:53
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb
47.22M
2024-11-26 13:21:44
coq_8.16.1+dfsg-1build2_amd64.deb
104.32M
2024-11-26 13:21:17
coqide_8.16.1+dfsg-1build2_amd64.deb
2.23M
2024-11-26 13:21:17
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
27.12M
2024-11-15 03:05:23
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb
25.98M
2024-11-15 03:05:21
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb
47.59M
2024-11-15 03:05:20
coq_8.17.0+dfsg-1build1_amd64.deb
88.75M
2024-11-15 03:05:18
coqide_8.17.0+dfsg-1build1_amd64.deb
2.22M
2024-11-15 03:05:18
libcoq-stdlib_8.15.2+dfsg-2_amd64.deb
23.32M
2023-08-11 04:19:27
libcoq-core-ocaml_8.15.2+dfsg-2_amd64.deb
25.59M
2023-08-11 04:19:23
libcoq-core-ocaml-dev_8.15.2+dfsg-2_amd64.deb
46.64M
2023-08-11 04:19:12
coqide_8.15.2+dfsg-2_amd64.deb
2.23M
2023-08-11 04:19:02
coq_8.15.2+dfsg-2_amd64.deb
90.50M
2023-08-11 04:19:01
libcoq-ocaml-dev_8.12.0-3build3_amd64.deb
17.85M
2023-03-29 21:47:48
libcoq-ocaml_8.12.0-3build3_amd64.deb
7.37M
2023-03-29 21:47:48
coq_8.12.0-3build3_amd64.deb
86.31M
2023-03-29 21:47:47
coqide_8.12.0-3build3_amd64.deb
1.78M
2023-03-29 21:47:47
coq-theories_8.12.0-3build3_amd64.deb
34.56M
2023-03-29 21:47:43
libcoq-ocaml_8.12.0-3build1_amd64.deb
6.40M
2022-02-24 21:38:45
coqide_8.12.0-3build1_amd64.deb
1.68M
2022-02-24 21:38:44
libcoq-ocaml-dev_8.12.0-3build1_amd64.deb
15.72M
2022-02-24 21:38:44
coq_8.12.0-3build1_amd64.deb
75.08M
2022-02-24 21:38:43
coq-theories_8.12.0-3build1_amd64.deb
35.27M
2022-02-24 21:38:40
libcoq-ocaml-dev_8.2.pl1+dfsg-2_amd64.deb
5.74M
2022-01-19 08:28:05
coq_8.2.pl1+dfsg-2_amd64.deb
14.62M
2022-01-19 08:28:03
coqide_8.2.pl1+dfsg-2_amd64.deb
6.24M
2022-01-19 08:28:03
coq-theories_8.2.pl1+dfsg-2_all.deb
17.27M
2022-01-19 08:27:57