|
../ |
— |
— |
|
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.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_riscv64.deb |
67.9 MB |
Jun 15, 2025 |
|
coq_8.20.1+dfsg.orig.tar.xz |
4.8 MB |
Feb 17, 2025 |
|
coq_9.2.0+dfsg-4_amd64.deb |
39.4 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4_arm64.deb |
42.5 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4_armhf.deb |
23 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4_i386.deb |
23.2 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4_riscv64.deb |
40.5 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4.debian.tar.xz |
27.6 KB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4.dsc |
2.6 KB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg-4.git.tar.xz |
10.4 MB |
Aug 25, 2026 |
|
coq_9.2.0+dfsg.orig.tar.xz |
3.8 MB |
Jul 10, 2026 |
|
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.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_riscv64.deb |
1.9 MB |
Jun 15, 2025 |
|
libcoq-core_9.2.0+dfsg-4_amd64.deb |
1.1 MB |
Aug 25, 2026 |
|
libcoq-core_9.2.0+dfsg-4_arm64.deb |
1.1 MB |
Aug 25, 2026 |
|
libcoq-core_9.2.0+dfsg-4_armhf.deb |
1.1 MB |
Aug 25, 2026 |
|
libcoq-core_9.2.0+dfsg-4_i386.deb |
1.1 MB |
Aug 25, 2026 |
|
libcoq-core_9.2.0+dfsg-4_riscv64.deb |
1.1 MB |
Aug 25, 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.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_riscv64.deb |
24.8 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml_9.2.0+dfsg-4_amd64.deb |
24.6 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml_9.2.0+dfsg-4_arm64.deb |
25.1 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml_9.2.0+dfsg-4_armhf.deb |
17.2 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml_9.2.0+dfsg-4_i386.deb |
17.2 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml_9.2.0+dfsg-4_riscv64.deb |
24.8 MB |
Aug 25, 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.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_riscv64.deb |
70.1 MB |
Jun 15, 2025 |
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4_amd64.deb |
53.1 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4_arm64.deb |
53.5 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4_armhf.deb |
44.4 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4_i386.deb |
44.4 MB |
Aug 25, 2026 |
|
libcoq-core-ocaml-dev_9.2.0+dfsg-4_riscv64.deb |
58.1 MB |
Aug 25, 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.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_riscv64.deb |
22.4 MB |
Jun 15, 2025 |
|
rocqide_9.2.0+dfsg-4_amd64.deb |
1.9 MB |
Aug 25, 2026 |
|
rocqide_9.2.0+dfsg-4_arm64.deb |
2.1 MB |
Aug 25, 2026 |
|
rocqide_9.2.0+dfsg-4_armhf.deb |
553.1 KB |
Aug 25, 2026 |
|
rocqide_9.2.0+dfsg-4_i386.deb |
623.9 KB |
Aug 25, 2026 |
|
rocqide_9.2.0+dfsg-4_riscv64.deb |
1.9 MB |
Aug 25, 2026 |