/ubuntu-ports/pool/universe/c/coq/

0 directories 182 files
List Grid
Name
Size Modified
Up
coq-theories_8.11.0-1_arm64.deb
20 MiB
coq-theories_8.11.0-1_ppc64el.deb
20 MiB
coq-theories_8.4pl3dfsg-1_all.deb
30 MiB
coq-theories_8.4pl4dfsg-3build2_all.deb
31 MiB
coq-theories_8.6-5build1_arm64.deb
22 MiB
coq-theories_8.6-5build1_armhf.deb
22 MiB
coq-theories_8.6-5build1_ppc64el.deb
22 MiB
coq-theories_8.6-5build1_s390x.deb
22 MiB
coq_8.11.0-1.debian.tar.xz
31 KiB
coq_8.11.0-1.dsc
2.4 KiB
coq_8.11.0-1_arm64.deb
80 MiB
coq_8.11.0-1_ppc64el.deb
75 MiB
coq_8.11.0.orig.tar.gz
5.6 MiB
coq_8.15.0+dfsg-2.debian.tar.xz
39 KiB
coq_8.15.0+dfsg-2.dsc
2.5 KiB
coq_8.15.0+dfsg-2_arm64.deb
102 MiB
coq_8.15.0+dfsg-2_armhf.deb
89 MiB
coq_8.15.0+dfsg-2_ppc64el.deb
94 MiB
coq_8.15.0+dfsg-2_riscv64.deb
90 MiB
coq_8.15.0+dfsg-2_s390x.deb
93 MiB
coq_8.15.0+dfsg.orig.tar.xz
4.5 MiB
coq_8.18.0+dfsg-1build2.debian.tar.xz
33 KiB
coq_8.18.0+dfsg-1build2.dsc
2.6 KiB
coq_8.18.0+dfsg-1build2_arm64.deb
102 MiB
coq_8.18.0+dfsg-1build2_armhf.deb
89 MiB
coq_8.18.0+dfsg-1build2_ppc64el.deb
94 MiB
coq_8.18.0+dfsg-1build2_riscv64.deb
93 MiB
coq_8.18.0+dfsg-1build2_s390x.deb
93 MiB
coq_8.18.0+dfsg.orig.tar.xz
4.6 MiB
coq_8.19.1+dfsg-3build3.debian.tar.xz
32 KiB
coq_8.19.1+dfsg-3build3.dsc
2.5 KiB
coq_8.19.1+dfsg-3build3_arm64.deb
103 MiB
coq_8.19.1+dfsg-3build3_ppc64el.deb
98 MiB
coq_8.19.1+dfsg-3build3_riscv64.deb
98 MiB
coq_8.19.1+dfsg-3build3_s390x.deb
98 MiB
coq_8.19.1+dfsg.orig.tar.bz2
5.3 MiB
coq_8.20.0+dfsg-1.debian.tar.xz
30 KiB
coq_8.20.0+dfsg-1.dsc
2.5 KiB
coq_8.20.0+dfsg-1_arm64.deb
91 MiB
coq_8.20.0+dfsg-1_ppc64el.deb
87 MiB
coq_8.20.0+dfsg-1_riscv64.deb
87 MiB
coq_8.20.0+dfsg-1_s390x.deb
87 MiB
coq_8.20.0+dfsg.orig.tar.xz
4.8 MiB
coq_8.4pl3dfsg-1.debian.tar.xz
15 KiB
coq_8.4pl3dfsg-1.dsc
2.3 KiB
coq_8.4pl3dfsg-1_arm64.deb
1.1 MiB
coq_8.4pl3dfsg-1_armhf.deb
3.7 MiB
coq_8.4pl3dfsg-1_powerpc.deb
3.4 MiB
coq_8.4pl3dfsg-1_ppc64el.deb
1.1 MiB
coq_8.4pl3dfsg.orig.tar.gz
3.4 MiB
coq_8.4pl4dfsg-3build2.debian.tar.xz
16 KiB
coq_8.4pl4dfsg-3build2.dsc
2.3 KiB
coq_8.4pl4dfsg-3build2_arm64.deb
3.7 MiB
coq_8.4pl4dfsg-3build2_armhf.deb
3.6 MiB
coq_8.4pl4dfsg-3build2_powerpc.deb
3.3 MiB
coq_8.4pl4dfsg-3build2_ppc64el.deb
1016 KiB
coq_8.4pl4dfsg-3build2_s390x.deb
1017 KiB
coq_8.4pl4dfsg.orig.tar.gz
3.4 MiB
coq_8.6-5build1.debian.tar.xz
21 KiB
coq_8.6-5build1.dsc
2.3 KiB
coq_8.6-5build1_arm64.deb
18 MiB
coq_8.6-5build1_armhf.deb
16 MiB
coq_8.6-5build1_ppc64el.deb
17 MiB
coq_8.6-5build1_s390x.deb
17 MiB
coq_8.6.orig.tar.gz
4.8 MiB
coqide_8.11.0-1_arm64.deb
2.0 MiB
coqide_8.11.0-1_ppc64el.deb
1.8 MiB
coqide_8.15.0+dfsg-2_arm64.deb
2.7 MiB
coqide_8.15.0+dfsg-2_armhf.deb
2.1 MiB
coqide_8.15.0+dfsg-2_ppc64el.deb
2.4 MiB
coqide_8.15.0+dfsg-2_riscv64.deb
2.2 MiB
coqide_8.15.0+dfsg-2_s390x.deb
2.3 MiB
coqide_8.18.0+dfsg-1build2_arm64.deb
2.7 MiB
coqide_8.18.0+dfsg-1build2_armhf.deb
2.1 MiB
coqide_8.18.0+dfsg-1build2_ppc64el.deb
2.4 MiB
coqide_8.18.0+dfsg-1build2_riscv64.deb
2.3 MiB
coqide_8.18.0+dfsg-1build2_s390x.deb
2.3 MiB
coqide_8.19.1+dfsg-3build3_arm64.deb
2.8 MiB
coqide_8.19.1+dfsg-3build3_ppc64el.deb
2.5 MiB
coqide_8.19.1+dfsg-3build3_riscv64.deb
2.5 MiB
coqide_8.19.1+dfsg-3build3_s390x.deb
2.4 MiB
coqide_8.20.0+dfsg-1_arm64.deb
2.5 MiB
coqide_8.20.0+dfsg-1_ppc64el.deb
2.2 MiB
coqide_8.20.0+dfsg-1_riscv64.deb
2.2 MiB
coqide_8.20.0+dfsg-1_s390x.deb
2.2 MiB
coqide_8.4pl3dfsg-1_arm64.deb
198 KiB
coqide_8.4pl3dfsg-1_armhf.deb
758 KiB
coqide_8.4pl3dfsg-1_powerpc.deb
627 KiB
coqide_8.4pl3dfsg-1_ppc64el.deb
198 KiB
coqide_8.4pl4dfsg-3build2_arm64.deb
754 KiB
coqide_8.4pl4dfsg-3build2_armhf.deb
763 KiB
coqide_8.4pl4dfsg-3build2_powerpc.deb
649 KiB
coqide_8.4pl4dfsg-3build2_ppc64el.deb
208 KiB
coqide_8.4pl4dfsg-3build2_s390x.deb
208 KiB
coqide_8.6-5build1_arm64.deb
1.6 MiB
coqide_8.6-5build1_armhf.deb
1.4 MiB
coqide_8.6-5build1_ppc64el.deb
1.7 MiB
coqide_8.6-5build1_s390x.deb
1.7 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb
44 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb
44 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb
44 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb
43 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb
43 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb
50 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb
50 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb
50 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb
56 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb
48 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64.deb
65 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64el.deb
66 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv64.deb
72 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x.deb
65 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb
67 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb
68 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb
74 MiB
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb
67 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb
27 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb
26 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb
26 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb
26 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb
26 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb
28 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb
26 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb
27 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb
27 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb
27 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb
26 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb
25 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb
25 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb
25 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb
27 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb
26 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb
26 MiB
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb
26 MiB
libcoq-ocaml-dev_8.11.0-1_arm64.deb
16 MiB
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb
16 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb
1.2 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb
3.8 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb
3.4 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb
1.2 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb
3.7 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb
4.0 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb
3.5 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb
1.2 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb
1.2 MiB
libcoq-ocaml-dev_8.6-5build1_arm64.deb
13 MiB
libcoq-ocaml-dev_8.6-5build1_armhf.deb
14 MiB
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb
13 MiB
libcoq-ocaml-dev_8.6-5build1_s390x.deb
13 MiB
libcoq-ocaml_8.11.0-1_arm64.deb
6.5 MiB
libcoq-ocaml_8.11.0-1_ppc64el.deb
6.2 MiB
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb
322 KiB
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb
1.5 MiB
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb
1.3 MiB
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb
322 KiB
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb
1.3 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb
1.4 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb
1.3 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb
328 KiB
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb
330 KiB
libcoq-ocaml_8.6-5build1_arm64.deb
3.6 MiB
libcoq-ocaml_8.6-5build1_armhf.deb
3.3 MiB
libcoq-ocaml_8.6-5build1_ppc64el.deb
3.5 MiB
libcoq-ocaml_8.6-5build1_s390x.deb
3.5 MiB
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb
24 MiB
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb
24 MiB
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb
24 MiB
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb
24 MiB
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb
24 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb
25 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb
25 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb
25 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb
25 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb
25 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb
26 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb
26 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb
26 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb
26 MiB
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb
26 MiB
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb
26 MiB
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb
26 MiB
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb
26 MiB