Index of /ubuntu/pool/universe/c/coq/
name
size
date
coq_8.20.1+dfsg-1build3_amd64v3.deb
78.64M
2026-01-28 01:00:54
coqide_8.20.1+dfsg-1build3_amd64v3.deb
2.10M
2026-01-28 01:00:53
libcoq-core-ocaml-dev_8.20.1+dfsg-1build3_amd64v3.deb
57.03M
2026-01-28 01:00:53
libcoq-core-ocaml_8.20.1+dfsg-1build3_amd64v3.deb
26.97M
2026-01-28 01:00:53
libcoq-stdlib_8.20.1+dfsg-1build3_amd64v3.deb
25.67M
2026-01-28 01:00:52
coq_8.20.1+dfsg-1build3_amd64.deb
78.64M
2026-01-28 01:00:05
coqide_8.20.1+dfsg-1build3_amd64.deb
2.10M
2026-01-28 01:00:03
libcoq-core-ocaml_8.20.1+dfsg-1build3_amd64.deb
26.97M
2026-01-28 01:00:03
libcoq-core-ocaml-dev_8.20.1+dfsg-1build3_amd64.deb
57.03M
2026-01-28 01:00:02
libcoq-stdlib_8.20.1+dfsg-1build3_amd64.deb
25.67M
2026-01-28 01:00:01
coq_8.20.1+dfsg-1build3.debian.tar.xz
29.6K
2026-01-28 00:59:12
coq_8.20.1+dfsg-1build3.dsc
2.5K
2026-01-28 00:59:12
coq_8.20.1+dfsg-1build2_amd64v3.deb
78.64M
2026-01-04 05:48:54
coqide_8.20.1+dfsg-1build2_amd64v3.deb
2.10M
2026-01-04 05:48:53
libcoq-core-ocaml-dev_8.20.1+dfsg-1build2_amd64v3.deb
57.03M
2026-01-04 05:48:53
libcoq-core-ocaml_8.20.1+dfsg-1build2_amd64v3.deb
26.97M
2026-01-04 05:48:53
libcoq-stdlib_8.20.1+dfsg-1build2_amd64v3.deb
25.67M
2026-01-04 05:48:52
coq_8.20.1+dfsg-1build2_amd64.deb
78.64M
2026-01-04 05:48:48
coqide_8.20.1+dfsg-1build2_amd64.deb
2.10M
2026-01-04 05:48:47
libcoq-core-ocaml-dev_8.20.1+dfsg-1build2_amd64.deb
57.03M
2026-01-04 05:48:47
libcoq-core-ocaml_8.20.1+dfsg-1build2_amd64.deb
26.97M
2026-01-04 05:48:47
libcoq-stdlib_8.20.1+dfsg-1build2_amd64.deb
25.67M
2026-01-04 05:48:46
coq_8.20.1+dfsg-1build2.debian.tar.xz
29.6K
2026-01-03 19:11:48
coq_8.20.1+dfsg-1build2.dsc
2.5K
2026-01-03 19:11:48
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-1build1.debian.tar.xz
29.6K
2025-06-19 11:23:39
coq_8.20.1+dfsg-1build1.dsc
2.5K
2025-06-19 11:23:39
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.20.1+dfsg-1.debian.tar.xz
29.5K
2025-02-18 01:39:14
coq_8.20.1+dfsg-1.dsc
2.5K
2025-02-18 01:39:14
coq_8.20.1+dfsg.orig.tar.xz
4.78M
2025-02-18 01:39:14
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.18.0+dfsg-1build2.debian.tar.xz
32.6K
2024-03-31 18:36:47
coq_8.18.0+dfsg-1build2.dsc
2.6K
2024-03-31 18:36:47
coq_8.18.0+dfsg.orig.tar.xz
4.64M
2023-12-22 19:46:56
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
coq_8.15.0+dfsg-2.debian.tar.xz
38.7K
2022-02-05 17:49:53
coq_8.15.0+dfsg-2.dsc
2.5K
2022-02-05 17:49:53
coq_8.15.0+dfsg.orig.tar.xz
4.45M
2022-01-17 23:14:25
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
coq_8.11.0-1.debian.tar.xz
30.9K
2020-03-06 07:53:17
coq_8.11.0.orig.tar.gz
5.56M
2020-03-06 07:53:17
coq_8.11.0-1.dsc
2.4K
2020-03-06 07:53:16
coq-theories_8.6-5build1_i386.deb
30.68M
2017-10-28 15:34:52
coq_8.6-5build1_i386.deb
16.16M
2017-10-28 15:34:51
coqide_8.6-5build1_i386.deb
1.32M
2017-10-28 15:34:51
libcoq-ocaml_8.6-5build1_i386.deb
3.24M
2017-10-28 15:34:51
libcoq-ocaml-dev_8.6-5build1_i386.deb
13.16M
2017-10-28 15:34:50
coq_8.6-5build1_amd64.deb
16.86M
2017-10-28 15:34:41
coq-theories_8.6-5build1_amd64.deb
31.64M
2017-10-28 15:34:40
coqide_8.6-5build1_amd64.deb
1.47M
2017-10-28 15:34:40
libcoq-ocaml-dev_8.6-5build1_amd64.deb
13.18M
2017-10-28 15:34:40
libcoq-ocaml_8.6-5build1_amd64.deb
3.40M
2017-10-28 15:34:39
coq_8.6-5build1.debian.tar.xz
21.4K
2017-10-28 14:39:28
coq_8.6-5build1.dsc
2.3K
2017-10-28 14:39:28
coq_8.6.orig.tar.gz
4.78M
2016-12-28 17:13:41
coq_8.4pl4dfsg-3build2_amd64.deb
3.81M
2015-11-04 14:04:34
coq-theories_8.4pl4dfsg-3build2_all.deb
30.74M
2015-11-04 14:04:33
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb
3.50M
2015-11-04 14:04:32
coqide_8.4pl4dfsg-3build2_amd64.deb
0.71M
2015-11-04 14:04:31
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb
1.43M
2015-11-04 14:04:31
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb
3.56M
2015-11-04 13:39:45
coq_8.4pl4dfsg-3build2_i386.deb
3.57M
2015-11-04 13:39:44
coqide_8.4pl4dfsg-3build2_i386.deb
0.68M
2015-11-04 13:39:44
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb
1.33M
2015-11-04 13:39:44
coq_8.4pl4dfsg-3build2.debian.tar.xz
15.8K
2015-11-04 13:14:21
coq_8.4pl4dfsg-3build2.dsc
2.3K
2015-11-04 13:14:21
coq_8.4pl4dfsg.orig.tar.gz
3.36M
2014-07-27 23:13:17
coq_8.4pl3dfsg-1_i386.deb
3.57M
2014-01-19 23:58:55
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb
3.48M
2014-01-19 23:58:55
coqide_8.4pl3dfsg-1_i386.deb
0.65M
2014-01-19 23:58:54
libcoq-ocaml_8.4pl3dfsg-1_i386.deb
1.37M
2014-01-19 23:58:54
coq_8.4pl3dfsg-1_amd64.deb
3.85M
2014-01-19 23:58:45
coqide_8.4pl3dfsg-1_amd64.deb
0.71M
2014-01-19 23:58:45
coq-theories_8.4pl3dfsg-1_all.deb
30.49M
2014-01-19 23:58:43
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb
3.49M
2014-01-19 23:58:43
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb
1.51M
2014-01-19 23:58:43
coq_8.4pl3dfsg-1.dsc
2.3K
2014-01-19 23:18:53
coq_8.4pl3dfsg.orig.tar.gz
3.36M
2014-01-19 23:18:53
coq_8.4pl3dfsg-1.debian.tar.xz
15.4K
2014-01-19 23:18:52