| ../ |
- |
- |
| coq-theories_8.11.0-1_amd64.deb |
31.5 MB |
2020-03-06 08:38 |
| 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-2_arm64.deb |
101.8 MB |
2022-02-06 12:54 |
| coq_8.15.0+dfsg-2_armhf.deb |
88.9 MB |
2022-02-05 23:53 |
| coq_8.15.0+dfsg-2_ppc64el.deb |
93.7 MB |
2022-02-05 23:53 |
| coq_8.15.0+dfsg.orig.tar.xz |
4.5 MB |
2022-01-17 23:14 |
| coq_8.18.0+dfsg-1.debian.tar.xz |
32.4 KB |
2023-12-22 19:46 |
| coq_8.18.0+dfsg-1.dsc |
2.5 KB |
2023-12-22 19:46 |
| coq_8.18.0+dfsg-1_amd64.deb |
113.7 MB |
2023-12-22 19:47 |
| coq_8.18.0+dfsg-1_arm64.deb |
126.1 MB |
2023-12-22 20:32 |
| coq_8.18.0+dfsg-1_armhf.deb |
110.1 MB |
2023-12-22 20:32 |
| coq_8.18.0+dfsg-1_ppc64el.deb |
116.8 MB |
2023-12-22 19:47 |
| coq_8.18.0+dfsg-1_riscv64.deb |
115.1 MB |
2023-12-22 22:01 |
| 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-1build2_arm64.deb |
101.7 MB |
2024-04-01 01:55 |
| coq_8.18.0+dfsg-1build2_armhf.deb |
89.3 MB |
2024-04-01 01:55 |
| coq_8.18.0+dfsg-1build2_ppc64el.deb |
94.0 MB |
2024-03-31 21:34 |
| coq_8.18.0+dfsg-1build2_riscv64.deb |
93.4 MB |
2024-04-01 01:56 |
| coq_8.18.0+dfsg.orig.tar.xz |
4.6 MB |
2023-12-22 19:46 |
| 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.15.0+dfsg-2_arm64.deb |
2.7 MB |
2022-02-06 12:54 |
| coqide_8.15.0+dfsg-2_armhf.deb |
2.1 MB |
2022-02-05 23:53 |
| coqide_8.15.0+dfsg-2_ppc64el.deb |
2.4 MB |
2022-02-05 23:53 |
| coqide_8.18.0+dfsg-1_amd64.deb |
2.7 MB |
2023-12-22 19:47 |
| coqide_8.18.0+dfsg-1_arm64.deb |
3.3 MB |
2023-12-22 20:32 |
| coqide_8.18.0+dfsg-1_armhf.deb |
2.5 MB |
2023-12-22 20:32 |
| coqide_8.18.0+dfsg-1_ppc64el.deb |
2.9 MB |
2023-12-22 19:47 |
| coqide_8.18.0+dfsg-1_riscv64.deb |
2.8 MB |
2023-12-22 22:01 |
| coqide_8.18.0+dfsg-1build2_amd64.deb |
2.2 MB |
2024-03-31 19:32 |
| coqide_8.18.0+dfsg-1build2_arm64.deb |
2.7 MB |
2024-04-01 01:55 |
| coqide_8.18.0+dfsg-1build2_armhf.deb |
2.1 MB |
2024-04-01 01:55 |
| coqide_8.18.0+dfsg-1build2_ppc64el.deb |
2.4 MB |
2024-03-31 21:34 |
| coqide_8.18.0+dfsg-1build2_riscv64.deb |
2.3 MB |
2024-04-01 01:56 |
| 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.15.0+dfsg-2_arm64.deb |
43.5 MB |
2022-02-06 12:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb |
43.8 MB |
2022-02-05 23:53 |
| libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb |
43.6 MB |
2022-02-05 23:53 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb |
62.4 MB |
2023-12-22 19:47 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb |
63.2 MB |
2023-12-22 20:32 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb |
63.4 MB |
2023-12-22 20:32 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb |
64.4 MB |
2023-12-22 19:47 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1_riscv64.deb |
72.6 MB |
2023-12-22 22:01 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb |
49.0 MB |
2024-03-31 19:32 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb |
49.5 MB |
2024-04-01 01:55 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb |
49.6 MB |
2024-04-01 01:55 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb |
50.4 MB |
2024-03-31 21:34 |
| libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb |
56.1 MB |
2024-04-01 01:56 |
| libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb |
25.8 MB |
2022-02-05 23:51 |
| libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb |
27.1 MB |
2022-02-06 12:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb |
25.7 MB |
2022-02-05 23:53 |
| libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb |
26.2 MB |
2022-02-05 23:53 |
| libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb |
32.5 MB |
2023-12-22 19:47 |
| libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb |
34.2 MB |
2023-12-22 20:32 |
| libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb |
32.1 MB |
2023-12-22 20:32 |
| libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb |
32.9 MB |
2023-12-22 19:47 |
| libcoq-core-ocaml_8.18.0+dfsg-1_riscv64.deb |
33.0 MB |
2023-12-22 22:01 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb |
26.4 MB |
2024-03-31 19:32 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb |
27.9 MB |
2024-04-01 01:55 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb |
26.3 MB |
2024-04-01 01:55 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb |
26.7 MB |
2024-03-31 21:34 |
| libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb |
26.6 MB |
2024-04-01 01:56 |
| libcoq-ocaml-dev_8.11.0-1_amd64.deb |
15.3 MB |
2020-03-06 08:38 |
| 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.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.15.0+dfsg-2_arm64.deb |
23.6 MB |
2022-02-06 12:54 |
| libcoq-stdlib_8.15.0+dfsg-2_armhf.deb |
23.6 MB |
2022-02-05 23:53 |
| libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb |
23.6 MB |
2022-02-05 23:53 |
| libcoq-stdlib_8.18.0+dfsg-1_amd64.deb |
33.6 MB |
2023-12-22 19:47 |
| libcoq-stdlib_8.18.0+dfsg-1_arm64.deb |
33.6 MB |
2023-12-22 20:32 |
| libcoq-stdlib_8.18.0+dfsg-1_armhf.deb |
33.6 MB |
2023-12-22 20:32 |
| libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb |
33.6 MB |
2023-12-22 19:47 |
| libcoq-stdlib_8.18.0+dfsg-1_riscv64.deb |
33.6 MB |
2023-12-22 22:01 |
| libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb |
25.3 MB |
2024-03-31 19:32 |
| libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb |
25.3 MB |
2024-04-01 01:55 |
| libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb |
25.3 MB |
2024-04-01 01:55 |
| libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb |
25.3 MB |
2024-03-31 21:34 |
| libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb |
25.3 MB |
2024-04-01 01:56 |