coq-theories_8.9.0-1_amd64.deb
|
|
28 MiB |
coq-theories_8.9.0-1_arm64.deb
|
|
19 MiB |
coq-theories_8.9.0-1_armhf.deb
|
|
19 MiB |
coq-theories_8.9.0-1_i386.deb
|
|
27 MiB |
coq-theories_8.12.0-3+b3_amd64.deb
|
|
35 MiB |
coq-theories_8.12.0-3+b3_arm64.deb
|
|
23 MiB |
coq-theories_8.12.0-3+b3_armel.deb
|
|
23 MiB |
coq-theories_8.12.0-3+b3_armhf.deb
|
|
23 MiB |
coq-theories_8.12.0-3+b3_i386.deb
|
|
34 MiB |
coq-theories_8.12.0-3+b3_mips64el.deb
|
|
23 MiB |
coq-theories_8.12.0-3+b3_mipsel.deb
|
|
23 MiB |
coq-theories_8.12.0-3+b3_ppc64el.deb
|
|
23 MiB |
coq_8.9.0-1.debian.tar.xz
|
|
27 KiB |
coq_8.9.0-1.dsc
|
|
2417 B |
coq_8.9.0-1_amd64.deb
|
|
56 MiB |
coq_8.9.0-1_arm64.deb
|
|
60 MiB |
coq_8.9.0-1_armhf.deb
|
|
55 MiB |
coq_8.9.0-1_i386.deb
|
|
54 MiB |
coq_8.9.0.orig.tar.gz
|
|
5269 KiB |
coq_8.12.0-3+b3_amd64.deb
|
|
86 MiB |
coq_8.12.0-3+b3_arm64.deb
|
|
92 MiB |
coq_8.12.0-3+b3_armel.deb
|
|
101 MiB |
coq_8.12.0-3+b3_armhf.deb
|
|
84 MiB |
coq_8.12.0-3+b3_i386.deb
|
|
84 MiB |
coq_8.12.0-3+b3_mips64el.deb
|
|
101 MiB |
coq_8.12.0-3+b3_mipsel.deb
|
|
101 MiB |
coq_8.12.0-3+b3_ppc64el.deb
|
|
87 MiB |
coq_8.12.0-3.debian.tar.xz
|
|
37 KiB |
coq_8.12.0-3.dsc
|
|
2483 B |
coq_8.12.0.orig.tar.gz
|
|
5867 KiB |
coq_8.16.1+dfsg-1+b2_amd64.deb
|
|
89 MiB |
coq_8.16.1+dfsg-1+b2_arm64.deb
|
|
97 MiB |
coq_8.16.1+dfsg-1+b2_armhf.deb
|
|
86 MiB |
coq_8.16.1+dfsg-1+b2_i386.deb
|
|
83 MiB |
coq_8.16.1+dfsg-1+b2_ppc64el.deb
|
|
90 MiB |
coq_8.16.1+dfsg-1+b2_s390x.deb
|
|
89 MiB |
coq_8.16.1+dfsg-1.debian.tar.xz
|
|
32 KiB |
coq_8.16.1+dfsg-1.dsc
|
|
2629 B |
coq_8.16.1+dfsg.orig.tar.xz
|
|
4607 KiB |
coq_8.18.0+dfsg-1.debian.tar.xz
|
|
32 KiB |
coq_8.18.0+dfsg-1.dsc
|
|
2570 B |
coq_8.18.0+dfsg-1_amd64.deb
|
|
78 MiB |
coq_8.18.0+dfsg-1_arm64.deb
|
|
84 MiB |
coq_8.18.0+dfsg-1_armhf.deb
|
|
75 MiB |
coq_8.18.0+dfsg-1_i386.deb
|
|
74 MiB |
coq_8.18.0+dfsg-1_ppc64el.deb
|
|
78 MiB |
coq_8.18.0+dfsg-1_s390x.deb
|
|
77 MiB |
coq_8.18.0+dfsg.orig.tar.xz
|
|
4754 KiB |
coq_8.19.1+dfsg-1.debian.tar.xz
|
|
32 KiB |
coq_8.19.1+dfsg-1.dsc
|
|
2573 B |
coq_8.19.1+dfsg-1_amd64.deb
|
|
78 MiB |
coq_8.19.1+dfsg-1_arm64.deb
|
|
85 MiB |
coq_8.19.1+dfsg-1_armhf.deb
|
|
75 MiB |
coq_8.19.1+dfsg-1_i386.deb
|
|
74 MiB |
coq_8.19.1+dfsg-1_ppc64el.deb
|
|
79 MiB |
coq_8.19.1+dfsg-1_riscv64.deb
|
|
78 MiB |
coq_8.19.1+dfsg-1_s390x.deb
|
|
78 MiB |
coq_8.19.1+dfsg.orig.tar.bz2
|
|
5458 KiB |
coqide_8.12.0-3+b3_amd64.deb
|
|
1835 KiB |
coqide_8.12.0-3+b3_arm64.deb
|
|
2120 KiB |
coqide_8.12.0-3+b3_armel.deb
|
|
46 KiB |
coqide_8.12.0-3+b3_armhf.deb
|
|
1696 KiB |
coqide_8.12.0-3+b3_i386.deb
|
|
1683 KiB |
coqide_8.12.0-3+b3_mips64el.deb
|
|
46 KiB |
coqide_8.12.0-3+b3_mipsel.deb
|
|
46 KiB |
coqide_8.12.0-3+b3_ppc64el.deb
|
|
1912 KiB |
coqide_8.16.1+dfsg-1+b2_amd64.deb
|
|
1947 KiB |
coqide_8.16.1+dfsg-1+b2_arm64.deb
|
|
2257 KiB |
coqide_8.16.1+dfsg-1+b2_armhf.deb
|
|
1792 KiB |
coqide_8.16.1+dfsg-1+b2_i386.deb
|
|
1764 KiB |
coqide_8.16.1+dfsg-1+b2_ppc64el.deb
|
|
2028 KiB |
coqide_8.16.1+dfsg-1+b2_s390x.deb
|
|
1934 KiB |
coqide_8.18.0+dfsg-1_amd64.deb
|
|
1954 KiB |
coqide_8.18.0+dfsg-1_arm64.deb
|
|
2264 KiB |
coqide_8.18.0+dfsg-1_armhf.deb
|
|
1800 KiB |
coqide_8.18.0+dfsg-1_i386.deb
|
|
1772 KiB |
coqide_8.18.0+dfsg-1_ppc64el.deb
|
|
2021 KiB |
coqide_8.18.0+dfsg-1_s390x.deb
|
|
1946 KiB |
coqide_8.19.1+dfsg-1_amd64.deb
|
|
1957 KiB |
coqide_8.19.1+dfsg-1_arm64.deb
|
|
2279 KiB |
coqide_8.19.1+dfsg-1_armhf.deb
|
|
1806 KiB |
coqide_8.19.1+dfsg-1_i386.deb
|
|
1778 KiB |
coqide_8.19.1+dfsg-1_ppc64el.deb
|
|
2034 KiB |
coqide_8.19.1+dfsg-1_riscv64.deb
|
|
1978 KiB |
coqide_8.19.1+dfsg-1_s390x.deb
|
|
1967 KiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb
|
|
41 MiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb
|
|
41 MiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
|
|
41 MiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb
|
|
40 MiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb
|
|
42 MiB |
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb
|
|
40 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb
|
|
42 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb
|
|
42 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb
|
|
42 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb
|
|
42 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb
|
|
43 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb
|
|
44 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_riscv64.deb
|
|
47 MiB |
libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390x.deb
|
|
43 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb
|
|
22 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb
|
|
22 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
|
|
21 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb
|
|
21 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb
|
|
22 MiB |
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb
|
|
22 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb
|
|
22 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb
|
|
23 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb
|
|
22 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb
|
|
21 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb
|
|
22 MiB |
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb
|
|
23 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_riscv64.deb
|
|
22 MiB |
libcoq-core-ocaml_8.19.1+dfsg-1_s390x.deb
|
|
22 MiB |
libcoq-ocaml-dev_8.9.0-1_amd64.deb
|
|
13 MiB |
libcoq-ocaml-dev_8.9.0-1_arm64.deb
|
|
13 MiB |
libcoq-ocaml-dev_8.9.0-1_armhf.deb
|
|
14 MiB |
libcoq-ocaml-dev_8.9.0-1_i386.deb
|
|
13 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb
|
|
18 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb
|
|
18 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb
|
|
11 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb
|
|
18 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb
|
|
18 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb
|
|
11 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb
|
|
11 MiB |
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb
|
|
19 MiB |
libcoq-ocaml_8.9.0-1_amd64.deb
|
|
5335 KiB |
libcoq-ocaml_8.9.0-1_arm64.deb
|
|
5668 KiB |
libcoq-ocaml_8.9.0-1_armhf.deb
|
|
5258 KiB |
libcoq-ocaml_8.9.0-1_i386.deb
|
|
5065 KiB |
libcoq-ocaml_8.12.0-3+b3_amd64.deb
|
|
7576 KiB |
libcoq-ocaml_8.12.0-3+b3_arm64.deb
|
|
7793 KiB |
libcoq-ocaml_8.12.0-3+b3_armel.deb
|
|
5332 KiB |
libcoq-ocaml_8.12.0-3+b3_armhf.deb
|
|
7562 KiB |
libcoq-ocaml_8.12.0-3+b3_i386.deb
|
|
7398 KiB |
libcoq-ocaml_8.12.0-3+b3_mips64el.deb
|
|
5332 KiB |
libcoq-ocaml_8.12.0-3+b3_mipsel.deb
|
|
5332 KiB |
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb
|
|
7633 KiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb
|
|
21 MiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb
|
|
21 MiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
|
|
21 MiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb
|
|
21 MiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb
|
|
21 MiB |
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb
|
|
21 MiB |
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb
|
|
22 MiB |
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb
|
|
22 MiB |
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb
|
|
22 MiB |
libcoq-stdlib_8.18.0+dfsg-1_i386.deb
|
|
22 MiB |
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb
|
|
22 MiB |
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb
|
|
22 MiB |
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_i386.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_riscv64.deb
|
|
23 MiB |
libcoq-stdlib_8.19.1+dfsg-1_s390x.deb
|
|
23 MiB |