|
../ |
— |
— |
|
coq_8.11.0-1_amd64.deb |
73 MB |
Mar 6, 2020 |
|
coq_8.11.0-1.debian.tar.xz |
30.9 KB |
Mar 6, 2020 |
|
coq_8.11.0-1.dsc |
2.4 KB |
Mar 6, 2020 |
|
coq_8.11.0.orig.tar.gz |
5.6 MB |
Mar 6, 2020 |
|
coq_8.15.0+dfsg-2_amd64.deb |
91 MB |
Feb 5, 2022 |
|
coq_8.15.0+dfsg-2.debian.tar.xz |
38.7 KB |
Feb 5, 2022 |
|
coq_8.15.0+dfsg-2.dsc |
2.5 KB |
Feb 5, 2022 |
|
coq_8.15.0+dfsg.orig.tar.xz |
4.5 MB |
Jan 17, 2022 |
|
coq_8.18.0+dfsg-1build2_amd64.deb |
91.5 MB |
Mar 31, 2024 |
|
coq_8.18.0+dfsg-1build2.debian.tar.xz |
32.6 KB |
Mar 31, 2024 |
|
coq_8.18.0+dfsg-1build2.dsc |
2.6 KB |
Mar 31, 2024 |
|
coq_8.18.0+dfsg.orig.tar.xz |
4.6 MB |
Dec 22, 2023 |
|
coq_8.20.1+dfsg-1_amd64.deb |
78.2 MB |
Feb 17, 2025 |
|
coq_8.20.1+dfsg-1.debian.tar.xz |
29.5 KB |
Feb 17, 2025 |
|
coq_8.20.1+dfsg-1.dsc |
2.5 KB |
Feb 17, 2025 |
|
coq_8.20.1+dfsg-1build1_amd64.deb |
77.8 MB |
Jun 19, 2025 |
|
coq_8.20.1+dfsg-1build1.debian.tar.xz |
29.6 KB |
Jun 19, 2025 |
|
coq_8.20.1+dfsg-1build1.dsc |
2.5 KB |
Jun 19, 2025 |
|
coq_8.20.1+dfsg-1build4_amd64.deb |
78.6 MB |
Mar 1, 2026 |
|
coq_8.20.1+dfsg-1build4_amd64v3.deb |
78.6 MB |
Mar 1, 2026 |
|
coq_8.20.1+dfsg-1build4.debian.tar.xz |
29.6 KB |
Mar 1, 2026 |
|
coq_8.20.1+dfsg-1build4.dsc |
2.5 KB |
Mar 1, 2026 |
|
coq_8.20.1+dfsg.orig.tar.xz |
4.8 MB |
Feb 17, 2025 |
|
coq_8.4pl3dfsg-1_amd64.deb |
3.9 MB |
Jan 19, 2014 |
|
coq_8.4pl3dfsg-1_i386.deb |
3.6 MB |
Jan 19, 2014 |
|
coq_8.4pl3dfsg-1.debian.tar.xz |
15.4 KB |
Jan 19, 2014 |
|
coq_8.4pl3dfsg-1.dsc |
2.3 KB |
Jan 19, 2014 |
|
coq_8.4pl3dfsg.orig.tar.gz |
3.4 MB |
Jan 19, 2014 |
|
coq_8.4pl4dfsg-3build2_amd64.deb |
3.8 MB |
Nov 4, 2015 |
|
coq_8.4pl4dfsg-3build2_i386.deb |
3.6 MB |
Nov 4, 2015 |
|
coq_8.4pl4dfsg-3build2.debian.tar.xz |
15.8 KB |
Nov 4, 2015 |
|
coq_8.4pl4dfsg-3build2.dsc |
2.3 KB |
Nov 4, 2015 |
|
coq_8.4pl4dfsg.orig.tar.gz |
3.4 MB |
Jul 27, 2014 |
|
coq_8.6-5build1_amd64.deb |
16.9 MB |
Oct 28, 2017 |
|
coq_8.6-5build1_i386.deb |
16.2 MB |
Oct 28, 2017 |
|
coq_8.6-5build1.debian.tar.xz |
21.4 KB |
Oct 28, 2017 |
|
coq_8.6-5build1.dsc |
2.3 KB |
Oct 28, 2017 |
|
coq_8.6.orig.tar.gz |
4.8 MB |
Dec 28, 2016 |
|
coq-theories_8.11.0-1_amd64.deb |
31.5 MB |
Mar 6, 2020 |
|
coq-theories_8.4pl3dfsg-1_all.deb |
30.5 MB |
Jan 19, 2014 |
|
coq-theories_8.4pl4dfsg-3build2_all.deb |
30.7 MB |
Nov 4, 2015 |
|
coq-theories_8.6-5build1_amd64.deb |
31.6 MB |
Oct 28, 2017 |
|
coq-theories_8.6-5build1_i386.deb |
30.7 MB |
Oct 28, 2017 |
|
coqide_8.11.0-1_amd64.deb |
1.7 MB |
Mar 6, 2020 |
|
coqide_8.15.0+dfsg-2_amd64.deb |
2.3 MB |
Feb 5, 2022 |
|
coqide_8.18.0+dfsg-1build2_amd64.deb |
2.2 MB |
Mar 31, 2024 |
|
coqide_8.20.1+dfsg-1_amd64.deb |
2.1 MB |
Feb 17, 2025 |
|
coqide_8.20.1+dfsg-1build1_amd64.deb |
2.1 MB |
Jun 19, 2025 |
|
coqide_8.20.1+dfsg-1build4_amd64.deb |
2.1 MB |
Mar 1, 2026 |
|
coqide_8.20.1+dfsg-1build4_amd64v3.deb |
2.1 MB |
Mar 1, 2026 |
|
coqide_8.4pl3dfsg-1_amd64.deb |
727.2 KB |
Jan 19, 2014 |
|
coqide_8.4pl3dfsg-1_i386.deb |
661.6 KB |
Jan 19, 2014 |
|
coqide_8.4pl4dfsg-3build2_amd64.deb |
731.4 KB |
Nov 4, 2015 |
|
coqide_8.4pl4dfsg-3build2_i386.deb |
694.9 KB |
Nov 4, 2015 |
|
coqide_8.6-5build1_amd64.deb |
1.5 MB |
Oct 28, 2017 |
|
coqide_8.6-5build1_i386.deb |
1.3 MB |
Oct 28, 2017 |
|
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb |
25.8 MB |
Feb 5, 2022 |
|
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb |
26.4 MB |
Mar 31, 2024 |
|
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb |
25.6 MB |
Feb 17, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb |
25.5 MB |
Jun 19, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb |
27 MB |
Mar 1, 2026 |
|
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb |
27 MB |
Mar 1, 2026 |
|
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb |
42.9 MB |
Feb 5, 2022 |
|
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb |
49 MB |
Mar 31, 2024 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb |
66.5 MB |
Feb 17, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb |
66.4 MB |
Jun 19, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb |
57 MB |
Mar 1, 2026 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb |
57 MB |
Mar 1, 2026 |
|
libcoq-ocaml_8.11.0-1_amd64.deb |
6 MB |
Mar 6, 2020 |
|
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb |
1.5 MB |
Jan 19, 2014 |
|
libcoq-ocaml_8.4pl3dfsg-1_i386.deb |
1.4 MB |
Jan 19, 2014 |
|
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb |
1.4 MB |
Nov 4, 2015 |
|
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb |
1.3 MB |
Nov 4, 2015 |
|
libcoq-ocaml_8.6-5build1_amd64.deb |
3.4 MB |
Oct 28, 2017 |
|
libcoq-ocaml_8.6-5build1_i386.deb |
3.2 MB |
Oct 28, 2017 |
|
libcoq-ocaml-dev_8.11.0-1_amd64.deb |
15.3 MB |
Mar 6, 2020 |
|
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb |
3.5 MB |
Jan 19, 2014 |
|
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb |
3.5 MB |
Jan 19, 2014 |
|
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb |
3.5 MB |
Nov 4, 2015 |
|
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb |
3.6 MB |
Nov 4, 2015 |
|
libcoq-ocaml-dev_8.6-5build1_amd64.deb |
13.2 MB |
Oct 28, 2017 |
|
libcoq-ocaml-dev_8.6-5build1_i386.deb |
13.2 MB |
Oct 28, 2017 |
|
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb |
23.6 MB |
Feb 5, 2022 |
|
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb |
25.3 MB |
Mar 31, 2024 |
|
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb |
25.7 MB |
Feb 17, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb |
25.7 MB |
Jun 19, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb |
25.7 MB |
Mar 1, 2026 |
|
libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb |
25.7 MB |
Mar 1, 2026 |