|
../ |
— |
— |
|
coq_8.12.0-3.debian.tar.xz |
36.9 KB |
Sep 10, 2020 |
|
coq_8.12.0-3.dsc |
2.4 KB |
Sep 10, 2020 |
|
coq_8.12.0-3+b3_amd64.deb |
86.3 MB |
Nov 25, 2020 |
|
coq_8.12.0-3+b3_arm64.deb |
91.6 MB |
Nov 25, 2020 |
|
coq_8.12.0-3+b3_armhf.deb |
84.3 MB |
Nov 25, 2020 |
|
coq_8.12.0-3+b3_i386.deb |
83.8 MB |
Nov 25, 2020 |
|
coq_8.12.0.orig.tar.gz |
5.7 MB |
Aug 22, 2020 |
|
coq_8.16.1+dfsg-1.debian.tar.xz |
32.5 KB |
Nov 29, 2022 |
|
coq_8.16.1+dfsg-1.dsc |
2.6 KB |
Nov 29, 2022 |
|
coq_8.16.1+dfsg-1+b2_amd64.deb |
88.9 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg-1+b2_arm64.deb |
97.4 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg-1+b2_armhf.deb |
85.7 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg-1+b2_i386.deb |
83.5 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg-1+b2_ppc64el.deb |
89.5 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg-1+b2_s390x.deb |
89 MB |
Feb 12, 2023 |
|
coq_8.16.1+dfsg.orig.tar.xz |
4.5 MB |
Nov 29, 2022 |
|
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-1+b1_amd64.deb |
67 MB |
Jun 14, 2025 |
|
coq_8.20.1+dfsg-1+b1_arm64.deb |
71 MB |
Jun 15, 2025 |
|
coq_8.20.1+dfsg-1+b1_ppc64el.deb |
67.6 MB |
Jun 15, 2025 |
|
coq_8.20.1+dfsg-1+b1_riscv64.deb |
67.9 MB |
Jun 15, 2025 |
|
coq_8.20.1+dfsg-1+b1_s390x.deb |
67.7 MB |
Jun 16, 2025 |
|
coq_8.20.1+dfsg-1+b2_ppc64el.deb |
68.4 MB |
Dec 27, 2025 |
|
coq_8.20.1+dfsg-1+b2_riscv64.deb |
69 MB |
Dec 27, 2025 |
|
coq_8.20.1+dfsg-1+b2_s390x.deb |
68.8 MB |
Dec 27, 2025 |
|
coq_8.20.1+dfsg-1+b3_amd64.deb |
67.8 MB |
Feb 12, 2026 |
|
coq_8.20.1+dfsg-1+b4_arm64.deb |
71.4 MB |
Feb 12, 2026 |
|
coq_8.20.1+dfsg.orig.tar.xz |
4.8 MB |
Feb 17, 2025 |
|
coq_9.1.0+dfsg-3.debian.tar.xz |
23.6 KB |
Nov 11, 2025 |
|
coq_9.1.0+dfsg-3.dsc |
2.5 KB |
Nov 11, 2025 |
|
coq_9.1.0+dfsg-3+b1_armhf.deb |
22.5 MB |
Dec 27, 2025 |
|
coq_9.1.0+dfsg-3+b1_i386.deb |
22.7 MB |
Dec 27, 2025 |
|
coq_9.1.0+dfsg-3+b1_ppc64el.deb |
39 MB |
Dec 27, 2025 |
|
coq_9.1.0+dfsg-3+b1_s390x.deb |
39.4 MB |
Dec 27, 2025 |
|
coq_9.1.0+dfsg-3+b2_amd64.deb |
38.3 MB |
Feb 14, 2026 |
|
coq_9.1.0+dfsg-3+b2_arm64.deb |
41.7 MB |
Feb 15, 2026 |
|
coq_9.1.0+dfsg-3+b2_riscv64.deb |
39.4 MB |
Feb 15, 2026 |
|
coq_9.1.0+dfsg.orig.tar.xz |
3.7 MB |
Sep 17, 2025 |
|
coq-theories_8.12.0-3+b3_amd64.deb |
34.8 MB |
Nov 25, 2020 |
|
coq-theories_8.12.0-3+b3_arm64.deb |
22.8 MB |
Nov 25, 2020 |
|
coq-theories_8.12.0-3+b3_armhf.deb |
22.8 MB |
Nov 25, 2020 |
|
coq-theories_8.12.0-3+b3_i386.deb |
33.6 MB |
Nov 25, 2020 |
|
coqide_8.12.0-3+b3_amd64.deb |
1.8 MB |
Nov 25, 2020 |
|
coqide_8.12.0-3+b3_arm64.deb |
2.1 MB |
Nov 25, 2020 |
|
coqide_8.12.0-3+b3_armhf.deb |
1.7 MB |
Nov 25, 2020 |
|
coqide_8.12.0-3+b3_i386.deb |
1.6 MB |
Nov 25, 2020 |
|
coqide_8.16.1+dfsg-1+b2_amd64.deb |
1.9 MB |
Feb 12, 2023 |
|
coqide_8.16.1+dfsg-1+b2_arm64.deb |
2.2 MB |
Feb 12, 2023 |
|
coqide_8.16.1+dfsg-1+b2_armhf.deb |
1.7 MB |
Feb 12, 2023 |
|
coqide_8.16.1+dfsg-1+b2_i386.deb |
1.7 MB |
Feb 12, 2023 |
|
coqide_8.16.1+dfsg-1+b2_ppc64el.deb |
2 MB |
Feb 12, 2023 |
|
coqide_8.16.1+dfsg-1+b2_s390x.deb |
1.9 MB |
Feb 12, 2023 |
|
coqide_8.20.1+dfsg-1+b1_amd64.deb |
1.8 MB |
Jun 14, 2025 |
|
coqide_8.20.1+dfsg-1+b1_arm64.deb |
2.1 MB |
Jun 15, 2025 |
|
coqide_8.20.1+dfsg-1+b1_ppc64el.deb |
1.9 MB |
Jun 15, 2025 |
|
coqide_8.20.1+dfsg-1+b1_riscv64.deb |
1.9 MB |
Jun 15, 2025 |
|
coqide_8.20.1+dfsg-1+b1_s390x.deb |
1.9 MB |
Jun 16, 2025 |
|
coqide_8.20.1+dfsg-1+b2_ppc64el.deb |
1.9 MB |
Dec 27, 2025 |
|
coqide_8.20.1+dfsg-1+b2_riscv64.deb |
2 MB |
Dec 27, 2025 |
|
coqide_8.20.1+dfsg-1+b2_s390x.deb |
1.9 MB |
Dec 27, 2025 |
|
coqide_8.20.1+dfsg-1+b3_amd64.deb |
1.8 MB |
Feb 12, 2026 |
|
coqide_8.20.1+dfsg-1+b4_arm64.deb |
2.2 MB |
Feb 12, 2026 |
|
libcoq-core_9.1.0+dfsg-3+b1_armhf.deb |
1.1 MB |
Dec 27, 2025 |
|
libcoq-core_9.1.0+dfsg-3+b1_i386.deb |
1.1 MB |
Dec 27, 2025 |
|
libcoq-core_9.1.0+dfsg-3+b1_ppc64el.deb |
1.1 MB |
Dec 27, 2025 |
|
libcoq-core_9.1.0+dfsg-3+b1_s390x.deb |
1.1 MB |
Dec 27, 2025 |
|
libcoq-core_9.1.0+dfsg-3+b2_amd64.deb |
1.1 MB |
Feb 14, 2026 |
|
libcoq-core_9.1.0+dfsg-3+b2_arm64.deb |
1.1 MB |
Feb 15, 2026 |
|
libcoq-core_9.1.0+dfsg-3+b2_riscv64.deb |
1.1 MB |
Feb 15, 2026 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb |
21.5 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb |
22 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb |
21.2 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb |
20.7 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb |
21.6 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb |
21.6 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb |
24.8 MB |
Jun 14, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb |
25.2 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb |
24.8 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb |
24.8 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb |
24.8 MB |
Jun 16, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b2_ppc64el.deb |
23.1 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b2_riscv64.deb |
23.2 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b2_s390x.deb |
23.2 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb |
23.1 MB |
Feb 12, 2026 |
|
libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb |
23.5 MB |
Feb 12, 2026 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b1_armhf.deb |
16.7 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb |
16.7 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b1_ppc64el.deb |
23.8 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b1_s390x.deb |
23.9 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb |
23.8 MB |
Feb 14, 2026 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b2_arm64.deb |
24.2 MB |
Feb 15, 2026 |
|
libcoq-core-ocaml_9.1.0+dfsg-3+b2_riscv64.deb |
24 MB |
Feb 15, 2026 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb |
40.7 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb |
40.8 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb |
41.1 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb |
40.5 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb |
41.5 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb |
40.3 MB |
Feb 12, 2023 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb |
65.5 MB |
Jun 14, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb |
65.4 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb |
66.1 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb |
70.1 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb |
65 MB |
Jun 16, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_ppc64el.deb |
50.2 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_riscv64.deb |
54.3 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b2_s390x.deb |
49.4 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb |
49.6 MB |
Feb 12, 2026 |
|
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb |
49.9 MB |
Feb 12, 2026 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_armhf.deb |
42.8 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb |
42.8 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_ppc64el.deb |
51.9 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_s390x.deb |
51.1 MB |
Dec 27, 2025 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_amd64.deb |
51.2 MB |
Feb 14, 2026 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_arm64.deb |
51.6 MB |
Feb 15, 2026 |
|
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_riscv64.deb |
56 MB |
Feb 15, 2026 |
|
libcoq-ocaml_8.12.0-3+b3_amd64.deb |
7.4 MB |
Nov 25, 2020 |
|
libcoq-ocaml_8.12.0-3+b3_arm64.deb |
7.6 MB |
Nov 25, 2020 |
|
libcoq-ocaml_8.12.0-3+b3_armhf.deb |
7.4 MB |
Nov 25, 2020 |
|
libcoq-ocaml_8.12.0-3+b3_i386.deb |
7.2 MB |
Nov 25, 2020 |
|
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb |
17.9 MB |
Nov 25, 2020 |
|
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb |
17.9 MB |
Nov 25, 2020 |
|
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb |
18.3 MB |
Nov 25, 2020 |
|
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb |
17.8 MB |
Nov 25, 2020 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb |
20.5 MB |
Feb 12, 2023 |
|
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb |
22.4 MB |
Jun 14, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb |
22.4 MB |
Jun 15, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb |
22.4 MB |
Jun 15, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb |
22.4 MB |
Jun 15, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb |
22.4 MB |
Jun 16, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b2_ppc64el.deb |
22.4 MB |
Dec 27, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b2_riscv64.deb |
22.4 MB |
Dec 27, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b2_s390x.deb |
22.4 MB |
Dec 27, 2025 |
|
libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb |
22.4 MB |
Feb 12, 2026 |
|
libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb |
22.4 MB |
Feb 12, 2026 |
|
rocqide_9.1.0+dfsg-3+b1_armhf.deb |
555.8 KB |
Dec 27, 2025 |
|
rocqide_9.1.0+dfsg-3+b1_i386.deb |
626.1 KB |
Dec 27, 2025 |
|
rocqide_9.1.0+dfsg-3+b1_ppc64el.deb |
1.9 MB |
Dec 27, 2025 |
|
rocqide_9.1.0+dfsg-3+b1_s390x.deb |
1.9 MB |
Dec 27, 2025 |
|
rocqide_9.1.0+dfsg-3+b2_amd64.deb |
1.9 MB |
Feb 14, 2026 |
|
rocqide_9.1.0+dfsg-3+b2_arm64.deb |
2.2 MB |
Feb 15, 2026 |
|
rocqide_9.1.0+dfsg-3+b2_riscv64.deb |
2 MB |
Feb 15, 2026 |