| ../ |
- |
- |
| coq-theories_8.11.0-1_amd64.deb |
31.5 MB |
2020-03-06 08:38 |
| coq-theories_8.4pl3dfsg-1_all.deb |
30.5 MB |
2014-01-19 23:58 |
| coq-theories_8.4pl4dfsg-3build2_all.deb |
30.7 MB |
2015-11-04 14:04 |
| coq-theories_8.6-5build1_amd64.deb |
31.6 MB |
2017-10-28 15:34 |
| coq-theories_8.6-5build1_i386.deb |
30.7 MB |
2017-10-28 15:34 |
| coq_8.11.0-1.debian.tar.xz |
30.9 KB |
2020-03-06 07:53 |
| coq_8.11.0-1.dsc |
2.4 KB |
2020-03-06 07:53 |
| coq_8.11.0-1_amd64.deb |
73.0 MB |
2020-03-06 08:38 |
| coq_8.11.0.orig.tar.gz |
5.6 MB |
2020-03-06 07:53 |
| coq_8.15.0+dfsg-2.debian.tar.xz |
38.7 KB |
2022-02-05 17:49 |
| coq_8.15.0+dfsg-2.dsc |
2.5 KB |
2022-02-05 17:49 |
| coq_8.15.0+dfsg-2_amd64.deb |
91.0 MB |
2022-02-05 23:52 |
| coq_8.15.0+dfsg.orig.tar.xz |
4.5 MB |
2022-01-17 23:14 |
| coq_8.18.0+dfsg-1build2.debian.tar.xz |
32.6 KB |
2024-03-31 18:36 |
| coq_8.18.0+dfsg-1build2.dsc |
2.6 KB |
2024-03-31 18:36 |
| coq_8.18.0+dfsg-1build2_amd64.deb |
91.5 MB |
2024-03-31 19:32 |
| coq_8.18.0+dfsg.orig.tar.xz |
4.6 MB |
2023-12-22 19:46 |
| coq_8.20.1+dfsg-1.debian.tar.xz |
29.5 KB |
2025-02-18 01:39 |
| coq_8.20.1+dfsg-1.dsc |
2.5 KB |
2025-02-18 01:39 |
| coq_8.20.1+dfsg-1_amd64.deb |
78.2 MB |
2025-02-18 01:40 |
| coq_8.20.1+dfsg-1build1.debian.tar.xz |
29.6 KB |
2025-06-19 11:23 |
| coq_8.20.1+dfsg-1build1.dsc |
2.5 KB |
2025-06-19 11:23 |
| coq_8.20.1+dfsg-1build1_amd64.deb |
77.8 MB |
2025-06-19 23:39 |
| coq_8.20.1+dfsg-1build1_arm64.deb |
82.9 MB |
2025-06-19 23:39 |
| coq_8.20.1+dfsg-1build4.debian.tar.xz |
29.6 KB |
2026-03-01 13:53 |
| coq_8.20.1+dfsg-1build4.dsc |
2.5 KB |
2026-03-01 13:53 |
| coq_8.20.1+dfsg-1build4_amd64.deb |
78.6 MB |
2026-03-01 13:54 |
| coq_8.20.1+dfsg-1build4_amd64v3.deb |
78.6 MB |
2026-03-01 13:55 |
| coq_8.20.1+dfsg-1build4_arm64.deb |
83.7 MB |
2026-03-01 13:55 |
| coq_8.20.1+dfsg.orig.tar.xz |
4.8 MB |
2025-02-18 01:39 |
| coq_8.4pl3dfsg-1.debian.tar.xz |
15.4 KB |
2014-01-19 23:18 |
| coq_8.4pl3dfsg-1.dsc |
2.3 KB |
2014-01-19 23:18 |
| coq_8.4pl3dfsg-1_amd64.deb |
3.9 MB |
2014-01-19 23:58 |
| coq_8.4pl3dfsg-1_i386.deb |
3.6 MB |
2014-01-19 23:58 |
| coq_8.4pl3dfsg.orig.tar.gz |
3.4 MB |
2014-01-19 23:18 |
| coq_8.4pl4dfsg-3build2.debian.tar.xz |
15.8 KB |
2015-11-04 13:14 |
| coq_8.4pl4dfsg-3build2.dsc |
2.3 KB |
2015-11-04 13:14 |
| coq_8.4pl4dfsg-3build2_amd64.deb |
3.8 MB |
2015-11-04 14:04 |
| coq_8.4pl4dfsg-3build2_i386.deb |
3.6 MB |
2015-11-04 13:39 |
| coq_8.4pl4dfsg.orig.tar.gz |
3.4 MB |
2014-07-27 23:13 |
| coq_8.6-5build1.debian.tar.xz |
21.4 KB |
2017-10-28 14:39 |
| coq_8.6-5build1.dsc |
2.3 KB |
2017-10-28 14:39 |
| coq_8.6-5build1_amd64.deb |
16.9 MB |
2017-10-28 15:34 |
| coq_8.6-5build1_i386.deb |
16.2 MB |
2017-10-28 15:34 |
| coq_8.6.orig.tar.gz |
4.8 MB |
2016-12-28 17:13 |
| coqide_8.11.0-1_amd64.deb |
1.7 MB |
2020-03-06 08:38 |
| coqide_8.15.0+dfsg-2_amd64.deb |
2.3 MB |
2022-02-05 23:51 |
| coqide_8.18.0+dfsg-1build2_amd64.deb |
2.2 MB |
2024-03-31 19:32 |
| coqide_8.20.1+dfsg-1_amd64.deb |
2.1 MB |
2025-02-18 01:40 |
| coqide_8.20.1+dfsg-1build1_amd64.deb |
2.1 MB |
2025-06-19 23:39 |
| coqide_8.20.1+dfsg-1build1_arm64.deb |
2.5 MB |
2025-06-19 23:39 |
| coqide_8.20.1+dfsg-1build4_amd64.deb |
2.1 MB |
2026-03-01 13:54 |
| coqide_8.20.1+dfsg-1build4_amd64v3.deb |
2.1 MB |
2026-03-01 13:55 |
| coqide_8.20.1+dfsg-1build4_arm64.deb |
2.5 MB |
2026-03-01 13:55 |
| coqide_8.4pl3dfsg-1_amd64.deb |
727.2 KB |
2014-01-19 23:58 |
| coqide_8.4pl3dfsg-1_i386.deb |
661.6 KB |
2014-01-19 23:58 |
| coqide_8.4pl4dfsg-3build2_amd64.deb |
731.4 KB |
2015-11-04 14:04 |
| coqide_8.4pl4dfsg-3build2_i386.deb |
694.9 KB |
2015-11-04 13:39 |
| coqide_8.6-5build1_amd64.deb |
1.5 MB |
2017-10-28 15:34 |
| coqide_8.6-5build1_i386.deb |
1.3 MB |
2017-10-28 15:34 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb |
42.9 MB |
2022-02-05 23:51 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb |
49.0 MB |
2024-03-31 19:32 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb |
66.5 MB |
2025-02-18 01:40 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb |
66.4 MB |
2025-06-19 23:39 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb |
66.4 MB |
2025-06-19 23:39 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb |
57.0 MB |
2026-03-01 13:54 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb |
57.0 MB |
2026-03-01 13:55 |
| libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb |
57.7 MB |
2026-03-01 13:55 |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb |
25.8 MB |
2022-02-05 23:51 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb |
26.4 MB |
2024-03-31 19:32 |
| libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb |
25.6 MB |
2025-02-18 01:40 |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb |
25.5 MB |
2025-06-19 23:39 |
| libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb |
26.7 MB |
2025-06-19 23:39 |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb |
27.0 MB |
2026-03-01 13:54 |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb |
27.0 MB |
2026-03-01 13:55 |
| libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb |
28.1 MB |
2026-03-01 13:55 |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb |
15.3 MB |
2020-03-06 08:38 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb |
3.5 MB |
2014-01-19 23:58 |
| libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb |
3.5 MB |
2014-01-19 23:58 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb |
3.5 MB |
2015-11-04 14:04 |
| libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb |
3.6 MB |
2015-11-04 13:39 |
| libcoq-ocaml-dev_8.6-5build1_amd64.deb |
13.2 MB |
2017-10-28 15:34 |
| libcoq-ocaml-dev_8.6-5build1_i386.deb |
13.2 MB |
2017-10-28 15:34 |
| libcoq-ocaml_8.11.0-1_amd64.deb |
6.0 MB |
2020-03-06 08:38 |
| libcoq-ocaml_8.4pl3dfsg-1_amd64.deb |
1.5 MB |
2014-01-19 23:58 |
| libcoq-ocaml_8.4pl3dfsg-1_i386.deb |
1.4 MB |
2014-01-19 23:58 |
| libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb |
1.4 MB |
2015-11-04 14:04 |
| libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb |
1.3 MB |
2015-11-04 13:39 |
| libcoq-ocaml_8.6-5build1_amd64.deb |
3.4 MB |
2017-10-28 15:34 |
| libcoq-ocaml_8.6-5build1_i386.deb |
3.2 MB |
2017-10-28 15:34 |
| libcoq-stdlib_8.15.0+dfsg-2_amd64.deb |
23.6 MB |
2022-02-05 23:51 |
| libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb |
25.3 MB |
2024-03-31 19:32 |
| libcoq-stdlib_8.20.1+dfsg-1_amd64.deb |
25.7 MB |
2025-02-18 01:40 |
| libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb |
25.7 MB |
2025-06-19 23:39 |
| libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb |
25.7 MB |
2025-06-19 23:39 |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb |
25.7 MB |
2026-03-01 13:54 |
| libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb |
25.7 MB |
2026-03-01 13:55 |
| libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb |
25.7 MB |
2026-03-01 13:55 |